كلما كان زيد إنسانا كان جسما
Whenever Zayd is human, he is a body.
This is the conclusion stated in the book. Suppose Zayd is human. The first premise then makes him an animal; the second makes whatever is an animal, in this context, a body. Hence being a body follows.
The middle condition “animal” disappears from the conclusion but remains the bridge between the premises. The proof uses two consecutive implication links.
Opening interactive controls...
Conjunctive Syllogisms with Conditional Propositions
كلما كان زيد إنسانا كان جسما
Whenever Zayd is human, he is a body.
This is the conclusion stated in the book. Suppose Zayd is human. The first premise then makes him an animal; the second makes whatever is an animal, in this context, a body. Hence being a body follows.
The middle condition “animal” disappears from the conclusion but remains the bridge between the premises. The proof uses two consecutive implication links.