«ليس البتة إذا كان زيد إنسانا كان فرسا»
It is not at all the case that if Zayd is human, he is a horse.
This is the textbook’s negative connective conditional. It does not deny that Zayd is human; it denies the supposed conditional relation making horsehood follow from humanity.
Do not equate it without qualification with “If Zayd is human, he is not a horse.” The first denies a conditional link; the second states a different affirmative conditional whose consequent is negative.
Opening interactive controls...
Conditional Propositions: Connectives, Disjunctions and Their Main Kinds
«ليس البتة إذا كان زيد إنسانا كان فرسا»
It is not at all the case that if Zayd is human, he is a horse.
This is the textbook’s negative connective conditional. It does not deny that Zayd is human; it denies the supposed conditional relation making horsehood follow from humanity.
Do not equate it without qualification with “If Zayd is human, he is not a horse.” The first denies a conditional link; the second states a different affirmative conditional whose consequent is negative.