كل إنسان حيوان
Every human is an animal.
This is the claim in the source example. “Animal” is used in the classical logical sense as a genus including humans, not as an insult.
The proposition is universal in quantity and affirmative in quality. To defend it indirectly, the source assumes its contradictory.
Opening interactive controls...
Qiyās al-Khalf: Compound Reductio, Impossibility and Proof of the Claim
كل إنسان حيوان
Every human is an animal.
This is the claim in the source example. “Animal” is used in the classical logical sense as a genus including humans, not as an insult.
The proposition is universal in quantity and affirmative in quality. To defend it indirectly, the source assumes its contradictory.