SLIPS
Symbolic Logic Independent Page Set

SYMBOLIC LOGIC USING POSTFIX LITERAL NOTATION

A HYPERTEXT MANUAL

Version 2 (June, 1996)

What to expect in this course
The software for this course
Using a hypertext manual
About Postfix Literal Notation
Variables and signals
Truth-functional relationships
Deductive reasoning
Premises and conclusions
Testing for validity with truth tables
Falsifying interpretations
Consistency trees
Midterm review
Beginning with derivations
Indirect derivations
Conditional derivations
Algebraic notation
Conventional notation
Renaming the rules for conventional notation
Prenex notation
Three-value logic
Advanced derivations
Special problems in symbolization
Practice exercises in PLN
Practice exercises in conventional notation
Final review
A complete list of the titles of these hypertext pages

[Only if you are now on the Internet]
Contact your instructor.