
Deduction: Conditionals and Syllogisms
Deductive logic for GA: the analytical routine (translate, then test every case), conditional statements and their contrapositive, converse and inverse, only if, unless, necessary and sufficient conditions, negations, valid and invalid argument forms, the four categorical statements with Venn diagrams, syllogism checking by least-overlap diagrams and counter-models, complementary (either-or) pairs, and truth-teller puzzles. Every equivalence is checked by truth table and every syllogism by a model search.




