Go backward to Propositional Consequences Go up to Top Go forward to Tautologies

Propositional Consequences (Continued)

De Morgan

 

~(A /\  B)

~A \/ ~B

~(A \/ B)

~A /\  ~B

~A \/ ~B

~(A /\  B)

~A /\  ~B

~(A \/ B)

 

Modus Ponens

 

A, A => B

B

 

Contraposition

 

A => B

~B => ~A

~A => ~B

B => A

A <=> B

~A <=> ~B

~A <=> ~B

A <=> B