Changes

Line 377: Line 377:     
=====4.3.2.2. Induction=====
 
=====4.3.2.2. Induction=====
 +
 +
Contrasted with this pattern, induction takes a Fact of the form <math>X \Rightarrow Z</math> and matches it with a Case of the form <math>X \Rightarrow Y</math> to guess that a Rule is possibly in play, one of the form <math>Y \Rightarrow Z.</math>
    
=====4.3.2.3. Abduction=====
 
=====4.3.2.3. Abduction=====
12,080

edits