Thursday, April 5, 2001
Quiz 8
Name: _______________________________
1. Variables: X, Y, Z, ...
2. If A and B are propositional formulas, so are not A, A v B, A & B,
A -> B.<
3. Nothing else is.br>
This is a recursive definition.
(Lecture).
B & B C
----- & Elim
B B --> A
---------------------- ->ELim (Modus Ponens)
A
A B | A v B -> A
----+-----------
T T | T T
T F | T T
F T | T F
F F | F T
Since the colum under the arrow is not completely T, the formula is
not a tautology.
(Lecture).