$next$ $up$ $previous$
Next: Statementstruth values and

NOTES ON SYMBOLIC LOGIC

Statements, truth values and truth tables
Logical equivalence and implication
- Statements involving variables
- Negation of statements involving variables

Peter Williams
Mon Sep 2 15:51:33 PDT 1996