- #1
janac
- 9
- 0
The truth table for implication looks like this
p|q| p -> q
------------
T|T | T
T|F | F
F|T | T <----I'm trying to make sense of this one. My prof warned us that its strange.
F|F | T
I that implication means:
"If p, then q"
"q is necessary for p"
"p is sufficient for q"
"p, only if q"
How can p be false, and q be true, result in a true implication?
How does something false imply something true?
"If 1 + 1 =5 then apples are blue" is a true implication, according to this.
I'm not sure if I have included enough detail about my confusion. I feel like I'm on the verge of understanding, can anyone push me in the right direction?
p|q| p -> q
------------
T|T | T
T|F | F
F|T | T <----I'm trying to make sense of this one. My prof warned us that its strange.
F|F | T
I that implication means:
"If p, then q"
"q is necessary for p"
"p is sufficient for q"
"p, only if q"
How can p be false, and q be true, result in a true implication?
How does something false imply something true?
"If 1 + 1 =5 then apples are blue" is a true implication, according to this.
I'm not sure if I have included enough detail about my confusion. I feel like I'm on the verge of understanding, can anyone push me in the right direction?