Summary of  Logic Statements

 

Negation  ~  is the opposite truth value  ~ T is F

Conjunction (and)  P Q is true only when both statements are true

Disjunction (or)  P Q is false only when both statements are false

The Conditional  P → Q is false only when P is true and Q is false

The Conditional  P → Q is equivalent to ~P Q

The Negation of the Conditional  P → Q is P ~Q

The Bicondional P Q is true when both P and Q have same true value

 

Conditional Statement  P → Q

Converse Statement  Q → P

Inverse Statement  ~P → ~Q

Contrapositive Statement  ~Q → ~P

 

DeMorganís Laws

~ (P Q)  =  ~ P ~Q

~ (P Q)  =  ~ P ~Q

 

The views and opinions expressed in this page are strictly those of Mary Lou Baker.
The contents of this page have not been reviewed or approved by Columbia State Community College.

This page was edited on 19-Oct-2015