Contradiction
The two propositions are mutually exclusive truths and genuinely conflict. This is the conservative default classification.
The two propositions are mutually exclusive truths and genuinely conflict. This is the conservative default classification.