Problems of logical inference
- Key People:
- Sam Loyd
- Fibonacci
- Robert Recorde
- Girolamo Cardano
- Related Topics:
- sudoku
- nim
- Tower of Hanoi
- cryptarithm
- tangram
Logical puzzles
Many challenging questions do not involve numerical or geometrical considerations but call for deductive inferences based chiefly on logical relationships. Such puzzles are not to be confounded with riddles, which frequently rely upon deliberately misleading or ambiguous statements, a play on words, or some other device intended to catch the unwary. Logical puzzles do not admit of a standard procedure or generalized pattern for their solution and are usually solved by some trial-and-error method. This is not to say that the guessing is haphazard; on the contrary, the given facts (generally minimal) suggest several hypotheses. These can be successively rejected if found inconsistent, until, by substitution and elimination, the solution is finally reached. The use of various techniques of logic may sometimes prove helpful, but in the last analysis, success depends largely upon that elusive capacity called ingenuity. For convenience, logic problems are arbitrarily grouped in the following categories.
The brakeman, the fireman, and the engineer
The brakeman-fireman-engineer puzzle has become a classic. The following version of it appeared in Oswald Jacoby and William Benson’s Mathematics for Pleasure (1962).
The names, not necessarily respectively, of the brakeman, fireman, and engineer of a certain train were Smith, Jones, and Robinson. Three passengers on the train happened to have the same names and, in order to distinguish them from the railway employees, will be referred to hereafter as Mr. Smith, Mr. Jones, and Mr. Robinson. Mr. Robinson lived in Detroit; the brakeman lived halfway between Chicago and Detroit; Mr. Jones earned exactly $2,000 per year; Smith beat the fireman at billiards; the brakeman’s next-door neighbour, one of the passengers, earned exactly three times as much as the brakeman; and the passenger who lived in Chicago had the same name as the brakeman. What was the name of the engineer?
Overlapping groups
The following problem is typical of the overlapping-groups category. Among the members of a high-school language club, 21 were studying French; 20, German; 26, Spanish; 12, both French and Spanish; 10, both French and German; nine, both Spanish and German; and three, French, Spanish, and German. How many club members were there? How many members were studying only one language?
Truths and lies
Another kind of logical inference puzzle concerns truths and lies. One variety is as follows: The natives of a certain island are known as knights or knaves, though they are indistinguishable in appearance. The knights always tell the truth, and the knaves always lie. A visitor to the island, meeting three natives, asks them whether they are knights or knaves. The first says something inaudible. The second, pointing to the first, says, “He says that he is a knight.” The third, pointing to the second, says, “He lies.” Knowing beforehand that only one is a knave, the visitor decides what each of the three is.
In a slightly different type, four men, one of whom was known to have committed a certain crime, made the following statements when questioned by the police:
Archie: Dave did it.
Dave: Tony did it.
Gus: I didn’t do it.
Tony: Dave lied when he said I did it.
If only one of these four statements is true, who was the guilty man? On the other hand, if only one of these four statements is false, who was the guilty man? (From 101 Puzzles in Thought and Logic by C.R. Wylie, Jr.; Dover Publications, Inc., New York, 1957. Reprinted through the permission of the publisher.)
The smudged faces
The problem of the smudged faces is another instance of pure logical deduction. Three travellers were aboard a train that had just emerged from a tunnel, leaving a smudge of soot on the forehead of each. While they were laughing at each other, and before they could look into a mirror, a neighbouring passenger suggested that although no one of the three knew whether he himself was smudged, there was a way of finding out without using a mirror. He suggested: “Each of the three of you look at the other two; if you see at least one whose forehead is smudged, raise your hand.” Each raised his hand at once. “Now,” said the neighbour, “as soon as one of you knows for sure whether his own forehead is smudged or not, he should drop his hand, but not before.” After a moment or two, one of the men dropped his hand with a smile of satisfaction, saying: “I know.” How did that man know that his forehead was smudged?
The unexpected hanging
A final example might be the paradox of the unexpected hanging, a remarkable puzzle that first became known by word of mouth in the early 1940s. One form of the paradox is the following: A prisoner has been sentenced on Saturday. The judge announces that “the hanging will take place at noon on one of the seven days of next week, but you will not know which day it is until you are told on the morning of the day of the hanging.” The prisoner, on mulling this over, decided that the judge’s sentence could not possibly be carried out. “For example,” said he, “I can’t be hanged next Saturday, the last day of the week, because on Friday afternoon I’d still be alive and I’d know for sure that I’d be hanged on Saturday. But I’d known this before I was told about it on Saturday morning, and this would contradict the judge’s statement.” In the same way, he argued, they could not hang him on Friday, or Thursday, or Wednesday, Tuesday, or Monday. “And they can’t hang me tomorrow,” thought the prisoner, “because I know it today!”
Careful analysis reveals that this argument is false, and that the decree can be carried out. The paradox is a subtle one. The crucial point is that a statement about a future event can be known to be a true prediction by one person but not known to be true by another person until after the event has taken place.