LIST OF TITLES
About Aristotle and the classical syllogism
About Bertrand Russell
About Postfix Literal Notation (PLN)
Advanced derivations
Algebraic notation
Algebraic notation in a three-value logic
Another consistency table
Beginning with derivations
Conditionals
Conditional derivations
Conjunction
Consistency trees
Conventional notation
Deductive reasoning
Derivations with predicate logic
Disjunction
Disjunctive normal form
Equivalence
Examples of direct derivations
Falsifying interpretations
Final review
Formal logic
Implication
Indirect derivations
Midterm review
Mutual exclusion
Necessary conditions
Negation
PLN programs on your disk
POV objections
Practice exercises in PLN
Practice exercises in conventional notation
Premises and conclusions
Prenex notation
Removing the signal N
Renaming rules for conventional notation
Shortcuts with quantifiers
Software for this course
Special problems in symbolization
Substitution rules
Sufficient conditions
Tautologies
Testing for validity with truth tables
The new name rule
Three-value logic
Three-value signals
Truth functional relationships
Truth table rules
Using a hypertext manual
Using PLNQD drills
Using the count
Using the reverse method
Variables and signals
Vocabulary
What to expect of this course
Working with binders
Working with conventional notation
X and Y as signals
Go back to the starting page.