Usuario:Juan medina/ejer14

Ningún episcopaliano o presbiteriano es unitario. Jhon Quincy adamsera unitario. En consecuencia no era episcopaliano.

(x) = no es unitario

E = Episcopaliano

P = Presbiterraneo

U = Jhon adams

(1)(x)[(Ex v Px → -Ux) P

(2)Ua P

(3)(Ea v Pa → -Ua) Regla de la especificación universal

(4)-(Ea v Pa) modus tollens

(5) -Ea ^-Pa modus tollens

(6)-Ea modus tollens