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