Assertion: contradiction's negation | /r/HasProperty | ldn
Facets:
Source sentences:
text: Not all systems of propositional logic accept a biconditional law of double negation (LDN), ¬(¬Φ)