Study Schedule

Topic A: 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 B: Sentential Logic

Introduction to 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

Derivations in Sentential Logic

DS01 Derivations in sentential logic

DS02 Some rules

DS03 More rules

DS04 Strategies for making a derivation

Answers to DS exercises

Reflections on Sentential Logic

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

SL10 : The limitations of Sentential Logic

RS01 : Why the rules are good, part 1

RS02 : Why the rules are good, part 2

Answers to RS exercises

Topic C: Predicate logic

MPL01 : Predicate logic: the basic idea

MPL02 : Quantifiers

MPL03 : The formal system MPL

MPL04 : MPL interpretation

MPL05 : Validity in MPL

DPL01 : Derivations in monadic predicate logic

DPL02 : More derivations

Answers to DPL exercises

-------------------------------------------

Notes

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