Prof Josef Woodson

profileeasy-9999

 ~(F ⦁ G), R, [S ⇾ (F ⦁ G)] ⦁ (R ⇾ L), S ⌄ R  
⊢ ~F ⌄ (~G ⦁ L)

 

 

-----------------------------

 

 S ⇾ (L ⌄ M), (P ⦁ Q) ⇾ ~R, (S ⌄ P) ⦁ (S ⌄ Q)  ⊢ (L ⌄ M) ⌄ ~R

 

--------------------------

 

(P ⌄ Q) ⇾ S, ~M, (M ⌄ P) ⌄ Q  ⊢ S

---------------------------------------

 

 

DeMorgan's Law (DM), Arrow Switch (⇾S), Commutation (Com), Association (Ass), Contraposition (Contra), Distribution (Dist.), Hypothetical Syllogism (HS), or Disjunctive Syllogism (DS)

    • 7 years ago
    • 20
    Answer(0)
    Bids(0)