An elementary introduction to contemporary symbolic logic is useful in a number of different ways.  

The use of logic in computer science is suggested in these topics.

~Under Construction~

GLIMPSES BEYOND

• The Language of Symbolic Logic
• Conjunction, Negation, Disjunction, Conditional Statements, and Material Implication
• Argument Forms and Arguments. 
• Statement Forms, Material Equivalence, and Logical Equivalence
• The Paradoxes of Material Implication

Send corrections or suggestions to webmaster@philosophy.lander.edu
Read the disclaimer concerning this page.
11.22.04           © 2004  Licensed under GFDL