Review: The Basic Truth-Tables
Negation: A negation is true if and only if what is negated is false.
Otherwise it is false.
Conjunction: A conjunction is true if and only if both conjuncts
are true, otherwise it is false.
| p |
q |
(p & q) |
| T |
T |
T |
| T |
F |
F |
| F |
T |
F |
| F |
F |
F |
Disjunction: A disjunction is true if and only if at least one disjunct
is true, otherwise false.
| p |
q |
(p v q) |
| T |
T |
T |
| T |
F |
T |
| F |
T |
T |
| F |
F |
F |
Conditional: A conditional is true if and only if either its antecendent
is false or its consequent is true; otherwise false.
| p |
q |
(p
⊃ q) |
| T |
T |
T |
| T |
F |
F |
| F |
T |
T |
| F |
F |
T |
Biconditional: A biconditional is true if and only if either the parts
of the biconditional are both true or both false; otherwise false.
| p |
q |
(p ≡ q) |
| T |
T |
T |
| T |
F |
F |
| F |
T |
F |
| F |
F |
T |
Please complete the
following exercise, (which will help you learn the basic truth-tables.)
| 
