]> 2026-08-05T07:52:13+00:00 Rules of inference 14 en 2007-10-14T14:50:27Z 2454388.1183681 Rules of inference Rule of inference 0 en Rule of inference Obversion 0 en Obversion Conversion (logic) 0 en Conversion (logic) Case analysis 0 en Case analysis Transposition (logic) 0 en Transposition (logic) Contraposition (traditional logic) 0 en Contraposition (traditional logic) Biconditional elimination 0 en Biconditional elimination Biconditional introduction 0 en Biconditional introduction Conjunction elimination 0 en Conjunction elimination Conjunction introduction 0 en Conjunction introduction Constructive dilemma 0 en Constructive dilemma Disjunction elimination 0 en Disjunction elimination Disjunction introduction 0 en Disjunction introduction Disjunctive syllogism 0 en Disjunctive syllogism Double negative elimination 0 en Double negative elimination Hypothetical syllogism 0 en Hypothetical syllogism De Morgan's laws 0 en De Morgan's laws Biconditional elimination 0 en Biconditional elimination Biconditional introduction 0 en Biconditional introduction Case analysis 0 en Case analysis Conjunction elimination 0 en Conjunction elimination Conjunction introduction 0 en Conjunction introduction Constructive dilemma 0 en Constructive dilemma Contraposition (traditional logic) 0 en Contraposition (traditional logic) Conversion (logic) 0 en Conversion (logic) De Morgan's laws 0 en De Morgan's laws Disjunction elimination 0 en Disjunction elimination Disjunction introduction 0 en Disjunction introduction Disjunctive syllogism 0 en Disjunctive syllogism Double negative elimination 0 en Double negative elimination Hypothetical syllogism 0 en Hypothetical syllogism Obversion 0 en Obversion Rule of inference 0 en Rule of inference Transposition (logic) 0 en Transposition (logic) INST 102 en INST