 premiss of the form X =&gt; Y,
matches it with a Rule, the major premiss of the form Y =&gt; Z,
then adverts to a Fact, the bound outcome of the form X =&gt; Z.

Induction takes a Case of the form X =&gt; Y,
matches it with a Fact of the form X =&gt; Z,
then adverts to a Rule of the form Y =&gt; Z.

Abduction takes a Fact of the form X =&gt; Z,
matches it with a Rule of the form Y =&gt; Z,
then adverts to a Case of the form X =&gt; Y.

Even more succinctly:

           Abduction  Deduction  Induction

Prem