«وليس البتة إذا كانت الشمس طالعة فالليل موجود»
It is by no means the case that if the sun has risen, night exists.
The negation targets the relation claimed between antecedent and consequent. The sentence does not simply negate “the sun has risen”; it rejects the connection asserted between sunrise and the presence of night.
It must not be confused with “If the sun has not risen, it is night,” which would have a different antecedent and would express another conditional proposition.
Opening interactive controls...
Chapter Two: Propositions, Categorical and Conditional Forms, and Their Parts
«وليس البتة إذا كانت الشمس طالعة فالليل موجود»
It is by no means the case that if the sun has risen, night exists.
The negation targets the relation claimed between antecedent and consequent. The sentence does not simply negate “the sun has risen”; it rejects the connection asserted between sunrise and the presence of night.
It must not be confused with “If the sun has not risen, it is night,” which would have a different antecedent and would express another conditional proposition.