Study Schedule

Topic 1 : Validity

L1 : What is Logic?

L2 : Statements

L3 : Avoiding ambiguity

A01 : Identifying arguments

A02 : Validity and soundness

A03 : Patterns of valid arguments

A06 : Good arguments

Topic 2: Sentential Logic

SL01 : Introduction to Sentential Logic

SL02 : Well-formed formula in SL

SL03 : Truth-tables for SL connectives

SL04 : More complicated truth-tables

SL05 : Logical properties and relations

SL06 : Formalization in SL

Exercise 1.3 at http://logic.tamu.edu/cgi-bin/quizmaster

SL07 : The full truth-table method

SL08 : The indirect method

SL09 : "If...then..." and the material conditional

SL10 : The limitations of Sentential Logic

Topic 3: Predicate logic

MPL01 : Predicate logic: the basic idea

MPL02 : Quantifiers

MPL03 : The formal system MPL

MPL04 : MPL interpretation

MPL05 : Validity in MPL


FAQ

Find answers to frequently asked questions
in the Elementary Logic Faq.