ليس ألبتة إذا كان زيد إنسانا كان حجرا
It is never the case that if Zayd is human, he is a stone.
The source concludes negatively from affirmation of animality under humanity and the denial of animality under the stone condition.
Where the same property is affirmed on one side and denied on the other, their joint satisfaction is excluded, provided the relevant subject, respect, and conditions remain fixed.
Opening interactive controls...
Conjunctive Syllogisms with Conditional Propositions
ليس ألبتة إذا كان زيد إنسانا كان حجرا
It is never the case that if Zayd is human, he is a stone.
The source concludes negatively from affirmation of animality under humanity and the denial of animality under the stone condition.
Where the same property is affirmed on one side and denied on the other, their joint satisfaction is excluded, provided the relevant subject, respect, and conditions remain fixed.