This part of the --Richard Crist
PART ONE: GENERAL DEDUCTION.
1. Imagine that you are an anthropologist. Your guide tells you that the people of this forest believe that one and only one of the following symbols is magic:
He goes on to tell you that the magic one is one of these:
And he tells you that the magic one is one of these:
Your guide knows that given this information, you should be able to figure out which symbol the magic one is.
In fact, several kinds of deduction are possible along these lines. These are
2. the laws of pure deduction:
For all the examples below, we assume this as a given: One and only one of the following is magic: . Axioms:
D1. The Law of Complements:
The following deduction will illustrate this law:
The magic one is one of these:
Therefore, the magic one is not one of these:
D2. The Add-Anything Law:
The magic one is one of these:
Therefore, the magic one is one of these:
D3. The In-Common Law:
The magic one is one of these: The magic one is one of these:
Therefore, the magic one is one of these:
previous page next page Truth Engine home
© Richard Crist, 2007 |