Definitions of basic logical terms
Proving invalidity by counterexample
The language of Propositional Logic (PL)
Notes on "if", "only if", and "unless"
Definitions of logical properties and relations
Testing validity using indirect truth tables
Common argument forms (MP, MT, etc.)
Natural Deduction in Propositional Logic