| |
| | Logical Consequence, Deductive-Theoretic Conceptions [Internet Encyclopedia of Philosophy] |
 | | The structure of this proof is that of a conditional proof: a deduction of a conditional from a set of basis sentence which starts with the assumption of the antecedent, then a derivation of the consequent, and concludes with the conditional. |
 | | Recall that the rationale behind the →-Intro rule is that we may derive a conditional if we derive the consequent Q from the assumption of the antecedent P, and, perhaps, other sentences occurring earlier in the proof on wider proof margins. |
 | | According to the →-Intro rule we may derive a conditional if we derive the consequent Q from the assumption of the antecedent P, and, perhaps, other sentences occurring earlier in the proof on wider proof margins. |
| www.iep.utm.edu /l/logcon-d.htm (9103 words) |
|