Difficulty: 1 of 10
There is a classic puzzle that involves four cards on a table. On the cards are written 4, W, 6, and R. You are told that each card has a letter on one side and a number on the other. You are asked to consider the statement, "If there is an R on one side, then there is a 4 on the other." Which cards must you flip if you want to find out if the statement is true or false for the four cards? Continue only after you've made your guess.
Ok, so it's not really much of a puzzle. It's really easy, but still seems to catch a lot of people. If you answered the cards with an R and 4, you've got it wrong.
The reason you don't flip over the 4 is that if there is an R on the other side, the statement is true, and if there isn't, it's still true. Unless the first part of the if-then statement (called the antecedent) is true, it doesn't matter whether the last part of the if-then statement (called the consequent) is true or false. For example, it doesn't matter what number you find behind the W, since there is no R and the antecedent is false. You must flip over the 6 because if there is an R on the other side, the statement has been confirmed false. So the correct answer is the R and the 6.
If you really want to be tricky, I guess you could write an R next to the 4, thus assuring the statement is false without any flips.
To introduce some symbolic logic (if you already know about this, skip ahead), all statements in logic can be represented by a single letter, just like in algebra. So the above if-then statement can be shortened to "if X, then Y" where X is the antecedent and Y the consequent. The symbolic way of writing this is "X ⇒ Y". By definition, "X ⇒ Y" is false if and only if X is false and Y is true. There's a related logical statement that uses "if and only if" (often shortened to the not-a-typo "iff") in which it does matter if Y is true when X is false. But that's not the case here.
Ok, I'm sure some of my readers are bored by now, but there's an interesting paradox to conclude this post. Consider the statement, "If this statement is true, then God exists." If the statement is false, then the antecedent is false, and therefore the statement is true. Since being false leads to a contradiction, the statement must instead be true. Therefore God exists. Now that that's settled, I guess there's no longer any need to discuss atheism.
Wait, you want me to resolve the paradox? Say "please."