Assertion: contradiction's negation | /r/HasProperty | any proposition
Facets:
Source sentences:
text: The conjunction of any proposition and its negation, (2) in truth-functional propositional logic, the negation of any tautology, hence any proposition that is false in every row of its truth table or in every interpretation See contingency; tautology
text: The conjunction of any proposition and its negation, (2) in truth-functional propositional logic, the negation of any tautology, hence any proposition that is false in every row of its truth table or in every interpretation See contingency; tautology