Rules of implication ane exceptions to the rule. It throws a lot of first time logic students for a loop. Consider the following truth table:
Code:
P Q P -> Q
1 1 1
1 0 0
0 1 1
0 0 1
1 is true, 0 is false. Notice that P -> Q (P implies Q) is false only once, that is when P is true and Q is false. How is P -> Q true when both P and Q are false?
You think you're good at logic? Explain that one.
