LESSON #30

Harder Proofs

ASSIGNMENT:

A. Keep doing what you're doing--only more so. (20 points each)

A)    1. A É B
        2. A É C               / /A É (B · C)       HINT: Use Distribution and Implication

 

B)   1. ~A É (~B É C)
        2. B É A
        3. ~C                        //A                    HINT: Use Exportation and Implication

 

C)    1. (A · B) v (A· C)
        2. (B É D) · (C É E)
        3. (D v E) É (F v ~A)          //F

 

D)    1. (A · B) É (C · D)
        2. (D v ~A) É (E · F)
        3. ~F                        // ~B              HINT: Use Add on line 3 and then DM

 

E)    1. B v ~A
        2. ~B v C
        3. C É (A · D)                //A º C       HINT: Use Implication and Distribution

Home | Table of Contents | Review for final | Questions