«وهي قسمان: حملية، وشرطية»
And propositions are of two kinds: categorical and conditional.
A categorical proposition directly affirms or denies a predicate of a subject. A conditional proposition expresses a relation between two propositional contents, often by means of a condition.
“Zayd is standing” — categorical.
“If the sun has risen, then daylight exists” — conditional.
Both can be true or false; they differ in the structure of the judgment.