Question

From Beginning Logic by E.J. Lemmon

1.2.1: Find proofs for the following sequents, using only the tools listed:

Rule of Assumption (A)

Modus Ponendo Ponens (MPP)

Modus Tollendo Tollens (MTT)

Double Negative (DN)

Conditional Proof (CP) (only if needed)

B.) Q -> (P -> R), -R, Q ⊢ -P

E.) -P -> -Q, Q ⊢ P

G.) -P -> Q ⊢ -Q -> P

I.) P -> Q, Q-> R ⊢ P -> R

Answer 1