A logic lesson on how truth tables work prove basic argument forms. Basic argument forms included are the disjunctive syllogism, modus ponens (implication), modus tollens (denying the consequent), and the hypothetical syllogism.
No download links available.