Assertion: contradiction | /r/HasProperty | symbolized in propositional logic
Facets:
Source sentences:
text: Some propositions have logical structure that cannot be represented with truth-functional connectives, and for this reason some tautologies and contradictions look like contingencies when symbolized in propositional logic.