Assertion: logic's power | /r/HasProperty | set with operations ∧
Facets:
Source sentences:
text: In fact, as mentioned above, in classical logic the propositions organize themselves in the power set with operations ∧, ∨ and ¬ representing the classical language connectives and, or and not.