كلما كان زيد إنسانا كان حيوانا، وليس ألبتة إذا كان حجرا كان حيوانا
Whenever Zayd is human, he is an animal; and it is never the case that, if he is a stone, he is an animal.
The first premise affirms a link from humanity to animality. The second denies such a link from being a stone to animality. “Being an animal” occurs as a common side of the stated relations.
Unlike figure one, the premises do not form a simple forward chain: one is affirmative and the other negative.
Opening interactive controls...
Conjunctive Syllogisms with Conditional Propositions
كلما كان زيد إنسانا كان حيوانا، وليس ألبتة إذا كان حجرا كان حيوانا
Whenever Zayd is human, he is an animal; and it is never the case that, if he is a stone, he is an animal.
The first premise affirms a link from humanity to animality. The second denies such a link from being a stone to animality. “Being an animal” occurs as a common side of the stated relations.
Unlike figure one, the premises do not form a simple forward chain: one is affirmative and the other negative.