chapter three:
if
and
if and only if
conditionals
more logical form
formal grammar revised
translations
formal semantics for conditionals
conditional semantics
truth tables: some examples
formal test of validity revisited
truth trees
conditional truth tree rules
further topics
knight-knave problems
a web of implications
beakley
>
1900
>
formal logic