كلما كان زيد إنسانا كان حيوانا، وكلما كان حيوانا كان جسما
Whenever Zayd is human, he is an animal; and whenever he is an animal, he is a body.
The first premise connects being human to being animal. The second connects being animal to being a body. “Being animal” is the shared middle condition linking both premises.
First link: human → animal
Second link: animal → body
Composing the links gives human → body.
Opening interactive controls...
Conjunctive Syllogisms with Conditional Propositions
كلما كان زيد إنسانا كان حيوانا، وكلما كان حيوانا كان جسما
Whenever Zayd is human, he is an animal; and whenever he is an animal, he is a body.
The first premise connects being human to being animal. The second connects being animal to being a body. “Being animal” is the shared middle condition linking both premises.
First link: human → animal
Second link: animal → body
Composing the links gives human → body.