Assertion: logical equality | /r/HasProperty | logical operator
Facets:
Source sentences:
text: Logical equality is a logical operator that corresponds to equality in Boolean algebra and to the logical biconditional in propositional calculus.