The source example:
«لا شيء من الحيوان بإنسان»
No animal is human.
Its exact contradictory is:
«بعض الحيوان إنسان»
Some animal is human.
One counterexample is enough to refute a universal denial, so its contradictory is particular affirmation.
“All animals are human” and “No animals are human” differ in quality but are both universal. The true contradictory of a universal negative is a particular affirmative.
Opening interactive controls...
Contradiction: Definition, Conditions and Application to Propositions
The source example:
«لا شيء من الحيوان بإنسان»
No animal is human.
Its exact contradictory is:
«بعض الحيوان إنسان»
Some animal is human.
One counterexample is enough to refute a universal denial, so its contradictory is particular affirmation.
“All animals are human” and “No animals are human” differ in quality but are both universal. The true contradictory of a universal negative is a particular affirmative.