Singletap said:
Hello Escapist Forum
Today me and my tenth grade geometry teacher had a argument. I'm not great in math class but we recently started logic and it seems to come very easily to me, most likely through making games and such on the computer.
Here is the problem and I don't see the logic in her teachings.
We were going over the "If" "Then" statements and one of the problems was.
If you take your medicine then you will feel better
we then had to take the 4 truth or false cases and decide rather they are true or false, easy right?
Well I had a small problem with case 3 and 4, they said
"If you don't take your medicine then you'll feel better"
"If you don't take your medicine then you won't feel better"
She said they default as true, I argued that that's impossible, they must be undefined, I see no truth in these cases you can't just assume in math without a reason to.
She got very worked up thinking that I was trying to confuse the kids but I simply did not understand the logic and she didn't make a good attempt to show me what she was saying. I'm still confused and I believe she is wrong I will change my thoughts if I can see a sense of reason.
Can I get some help here.
From Jesse Bergerstock aka SingleTap "Tap"
The way I see it is this:
Let's rephrase the problem trying to use a less ambiguous choice of words:
1. You are ill (Cpt. Obvious)
2. Your illness has no cure except for the above mentioned medicine
3. The aforementioned medicine certainly cures the illness (in other words it cannot fail in curing you)
4. You have the choice of either taking or not taking the medicine.
If #2 is true, then:
a.If you take the medicine, you'll feel better. (true, as per #3)
b.If you take the medicine, you won't feel better. (false, as per #3)
c.If you don't take the medicine, you will feel better. (false, as per #2)
d.If you don't take the medicine, you won't feel better. (true, as per #2)
If #2 is not true:
a'.If you take the medicine, you'll feel better. (true, as per #3)
b'.If you take the medicine, you won't feel better. (false, as per #3)
c'.If you don't take the medicine, you'll feel better. (undefined, but true, per missing #2)
d'.If you don't take the medicine, you won't feel better. (same as above)
To try to define the 2 undefined cases you must rephrase them in more mathematically-precise derivatives:
Assuming a set S containing an infinite number of cases (think of it as parallel universes) on whether you take this medicine (or not) causing your being well (or not):
c'^. Each and every case in the set S has the effect of curing the illness without taking the medicine.
d'^. Each and every case in the set S has the effect of not curing the illness without taking the medicine.
Using this wording, then they're both false or undefined respectively whether you can demonstrate even a single event that doesn't match those statements or not.
Instead, rephrasing differently:
c'*. There exists a case in the set S that has the effect of curing the illness without taking the medicine.
d'*. There exists a case in the set S that has the effect of not curing the illness without taking the medicine.
In this case, to prove these statements true, you only have to demonstrate that there is a single case in which the course of events matches the statement, else the cases are undefined.
Now, you have narrowed and stated the undefined cases.
If you want to put this in binary logic instead of ternary logic, you'd have to have a postulate saying that
5. All cases that aren't definitely provable and therefore undefined are to be considered as false.
(a postulate saying
5'. All cases that aren't definitely provable and therefore undefined are to be considered as true.
works equally well)
By taking then any of the aforementioned alternative rephrasings you'd have a certain true/false statement.
Now, if you look at the (34)'* rephrasings, with the ternary-binary narrowing condition (also called defaulting condition) 5', then the cases are always both true therefore explaining what your teacher had intended to say.
I hope this was not too long and please excuse my mathematical/logical fallacies (should there be any) as I'm just a computer engineering student and not a mathematician.