When assertions depend on a condition, the condition must be kept the same.
Example 1: If the door is locked, Zayd will not enter.
Example 2: If the door is unlocked, Zayd will enter.
Different conditions allow both statements to hold. Genuine contradiction denies the same complete conditioned claim, rather than merely changing the condition.
Opening interactive controls...
Identity of condition
Contradiction and the Eight Conditions
When assertions depend on a condition, the condition must be kept the same.
Example 1: If the door is locked, Zayd will not enter.
Example 2: If the door is unlocked, Zayd will enter.
Different conditions allow both statements to hold. Genuine contradiction denies the same complete conditioned claim, rather than merely changing the condition.