Construct derivations to show the following claims with the rules of SD or SD+.

a. 'A ≡ B' and '~A ≡ ~B' are equivalent in SD+
b. {M ∨ N, F ⊃ ~M, D ⊃ ~N} ⊢ F ⊃ ~D
c. ⊢ [~(R & ~S) ∨ ~T] ⊃ [(T ⊃ R) ⊃ (T ⊃ S)]
d. {~(K ∨ ~L) ∨ ~(K ∨ ~M), ~(N ∨ L)} ⊢ ~K & (M & ~N)

Respuesta :

Otras preguntas