// made by combining Table 8.3 and Table 3.3: Basic Syllogistic Rules // Table 8.3: Sample Independent-Variable Introduction Rules **** Induction P>. S>. <<$x --> S> ==> <$x --> P>>? 4 * **** Comparison : verbatim like in table 8.3 P>. S>. <<$x --> S> <=> <$x --> P>>? 4 **** Abduction < P --> M >. < S --> M >. << S --> $x > ==> < P --> $x >>? 4 **** Abduction and <=> < P --> M >. < S --> M >. << S --> $x > <=> < P --> $x >>? 4 **** Deduction , Exemplification : no result < M --> P >. < S --> M >. << S --> $x > ==> <$x --> P>>? 6 **** Exemplification , Deduction : no result < P --> M >. < M --> S >. <<$x --> S> ==> < P --> $x >>? 6 **** Conversion : no result < P --> S >. <<$x --> S> ==> <$x --> P>>? 30