«زيد موجود أي في الدار، وزيد ليس بموجود أي في السوق»
Zayd is in the house, and Zayd is not in the market.
Both concern Zayd's presence, but the locations differ: house versus market. Both claims may be true together.
The exact negation of “Zayd is in the house” is “Zayd is not in the house”, with all other relevant conditions fixed.
A different place changes the spatial qualification of the assertion, defeating contradiction.
Opening interactive controls...
Contradiction: Definition, Conditions and Application to Propositions
«زيد موجود أي في الدار، وزيد ليس بموجود أي في السوق»
Zayd is in the house, and Zayd is not in the market.
Both concern Zayd's presence, but the locations differ: house versus market. Both claims may be true together.
The exact negation of “Zayd is in the house” is “Zayd is not in the house”, with all other relevant conditions fixed.
A different place changes the spatial qualification of the assertion, defeating contradiction.