12,080
edits
Changes
Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 4 (view source)
Revision as of 03:06, 5 August 2011
, 03:06, 5 August 2011→4.3.2.1. Deduction: + text
=====4.3.2.1. Deduction=====
=====4.3.2.1. Deduction=====
In the case of propositional logic, deduction comes down to applications of the transitive law for conditional implications. Employing a few "terms of art" from classical logic that are still useful in treating these kinds of problems, deduction takes a Case, the minor premiss <math>X \Rightarrow Y,</math> and combines it with a Rule, the major premiss <math>Y \Rightarrow Z,</math> to arrive at a Fact, the demonstrative conclusion <math>X \Rightarrow Z.</math>
=====4.3.2.2. Induction=====
=====4.3.2.2. Induction=====