stic approach to inquiry,
considering it only so far as the propositional or sentential
aspects of the reasoning process are concerned.

2.1  Terminology

In the case of propositional logic, deduction comes down to
applications of the transitive law for conditional implications.
Employing a few old &quot;terms of art&quot; from classical logic that are
still useful in treating these kinds of problems, deduction takes
a Case, the minor premiss X =&gt; Y, and combines it with a Rule,
the major premiss Y =&gt;