TEST ON LINE

 1   The logic of predicates and deduction

Quantifiers, equivalent expressions, the rule of opposition, De Morgan's laws, the modus ponens rule, the modus tollens rule, syllogisms