Corollaries:
D2a. The Subtract-Anything Law:
The magic one is not one of these:
Therefore, the magic one is not one of these:
Proof: 1. The magic one is not one of these:
2. The magic one is one of these: 1 D1
3. The magic one is one of these: 2 D2
4. The magic one is not one of these: 3 D1
D3a. The Law of Union:
The magic one is not one of these:
The magic one is not one of these:
Therefore, the magic one is not one of these:
Proof:
1. The magic one is not one of these:
2. The magic one is not one of these:
3. The magic one is one of these: 1 D1
4. The magic one is one of these: 2 D1
5. The magic one is one of these: 3, 4 D3
6. The magic one is not one of these: 5 D1
previous page next page Truth Engine home page
© Richard Crist, 2007 |