«الحملية ضربان: موجبة»
Categorical propositions are of two types, the first being affirmative.
«وهي التي حكم فيها بثبوت شيء لشيء»
This is one in which something is affirmed of something else.
«الإنسان حيوان»
The human is an animal.
Animality is affirmed of the human. In logic, “affirmative” does not mean praise or approval; it is the technical term for affirming a predicative relation.
Opening interactive controls...
Chapter Two: Propositions, Categorical and Conditional Forms, and Their Parts
«الحملية ضربان: موجبة»
Categorical propositions are of two types, the first being affirmative.
«وهي التي حكم فيها بثبوت شيء لشيء»
This is one in which something is affirmed of something else.
«الإنسان حيوان»
The human is an animal.
Animality is affirmed of the human. In logic, “affirmative” does not mean praise or approval; it is the technical term for affirming a predicative relation.