Agnes writes the following four statements on a blank piece of paper.
At least one of these statements is true.
At least two of these statements are true.
At least two of these statements are false.
At least one of these statements is false.
Each statement is either true or false. How many false statements did Agnes write on the paper?
- A)
- B)
- C)
- D)
- E)
Answer
B
Key insight
Every statement only talks about how many statements are true. Try each possible count from 0 to 4 and keep the one that agrees with itself.
Solution
You cannot tell whether one statement is true on its own, because each one talks about all four. But every statement depends on just one number: how many of the four are true. Call that number . There are only five possible values, to , so try each.
1. Rewrite each statement in terms of . If statements are true, then are false.
- Statement 1 ("at least one true") is true when is or more.
- Statement 2 ("at least two true") is true when is or more.
- Statement 3 ("at least two false") is true when is or more, which means is or less.
- Statement 4 ("at least one false") is true when is or more, which means is or less.
- Test each value of . For each guess, count how many statements come out true. The guess only works if that count equals the guess.
| Guess | St. 1 | St. 2 | St. 3 | St. 4 | Number true | Matches? |
|---|---|---|---|---|---|---|
| F | F | T | T | no | ||
| T | F | T | T | no | ||
| T | T | T | T | no | ||
| T | T | F | T | yes | ||
| T | T | F | F | no |
- Read off the answer. Only agrees with itself. Statements 1, 2 and 4 are true, and statement 3 is false.
- Double-check. With exactly one false statement, "at least two are false" really is false, and the other three really are true. Everything fits.
- Answer the actual question. It asks for the number of false statements: .
The answer is .
Why this works
When statements talk about themselves, you cannot judge them one at a time. Instead, guess the one number they all depend on and check whether the guess produces itself. Here that number is "how many are true", and with only five possibilities a small table settles it. Any puzzle of the form "at least of these are true/false" can be handled the same way.
The trap
Finding that three statements are true and answering 3, choice (D), when the question asks how many are false.
Concise solution
Let be the number of true statements, so are false. Every statement speaks only about :
- statement 1 is true exactly when ;
- statement 2 is true exactly when ;
- statement 3 is true exactly when , that is ;
- statement 4 is true exactly when , that is .
A value of is possible only if exactly of these four conditions hold. Test all five values.
- : conditions 3 and 4 hold, so statements are true, not .
- : conditions 1, 3, 4 hold, so are true, not .
- : all four conditions hold, so are true, not .
- : conditions 1, 2, 4 hold and condition 3 fails, so are true. Consistent.
- : conditions 1, 2, 4 hold, so are true, not .
Only survives: statements 1, 2 and 4 are true and statement 3 is false. Reading it back confirms the arrangement, since "at least two of these statements are false" is indeed false when exactly one is false. The number of false statements is .
The answer is .
Review in the AoPS books
- Intermediate Counting & Probability, Chapter 2: Sets and Logic (§2.4)
- Introduction to Counting & Probability, Chapter 2: Basic Counting Techniques (§2.2)
- Prealgebra, Chapter 15: Problem-Solving Strategies (§15.4)
- Prealgebra, Chapter 14: Counting (§14.3)
Techniques
Split into exhaustive cases and handle each · Start from the end state / desired conclusion and reverse