general/propositions
Surf Wiki
Contradiction
Logical incompatibility between two or more propositions
Proposition
Bearer of truth values
Logical incompatibility between two or more propositions
Bearer of truth values