Corollaries:

 

D2a. The Subtract-Anything Law:

 

If the magic one is not one of a group of the items, then the magic one is not one of a second group that contains only items from the first group, but not all of the items from the first group.

 

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:

 

If the magic one is not one of a group of the items, and is not one of a second group of the items, then the magic one is not one of a group containing all and only those items contained in the first two groups.

 

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