Math 143

Negation

Opposite meaning. ~p: "not p" or "negation of p". Usually insert the word "not

Conjunction

P^q is true only when both p and q are true

Disjunction

P v q is true when either p is true q is true or both p and q are true

Conditional statement

p--q is true in every case except when p is a true statement and q is a false statement

Biconditional statement

p - q is true only when p and q have the same truth value