Giant brains; or, Machines that think

by Edmund Callis Berkeley

(2) We shall examine the logical patterns that we can make.

(3) We shall see what we can find out about their logical truth.

Suppose we make up the following statements:

3. John Doe is not eligible for insurance.

4. John Doe does not require a medical examination.

5. John Doe is eligible for insurance and requires a medical examination.

6. John Doe is eligible for insurance, and John Doe is eligible for insurance.

7. John Doe is eligible for insurance, or John Doe requires a medical examination.

8. If John Doe is eligible for insurance, then he requires a medical examination.

9. John Doe requires a medical examination if and only if he is eligible for insurance.