Statements in logic. True and false statements. A truth tables. Negation (opposite) of statements. ~p read "not p". Conjunction of statements. p ∧ q, read as "p and q". Disjunction of statements. p ∨ q, read as "p or q". Conditional of statements. p ⇒ q, read as "if p then q". Biconditional of statements. p ⇔ q, read as "p if and only if q".