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
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
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
——————————————-
Find answers to frequently asked questions in the Elementary Logic Faq.