1
Q
Negation
A
T | F
F | T
2
Q
Conjunction
A
p q | p . q --------------- T T | T T F | F F T | F F F | F
3
Q
Disjunction
A
p q | p v q ------------------ T T | T T F | T F T | T F F | F
4
Q
Conditional
A
p q | p --> q --------------------- T T | T T F | F F T | T F F | T
5
Q
Biconditional
A
p q | p q ----------------------- T T | T T F | F F T | F F F | T
6
Q
Tautology
A
True regardless of the truth values of its atomic components.
7
Q
Contradiction
A
False regardless of the truth values of its atomic components.
8
Q
Contingent
A
If it is true on some assignments of truth values to its atomic components and false on others.
9
Q
Logically equivalent
A
If they agree in truth value regardless of the truth values assigned to their atomic components.
