Assertion: boolean algebra | /r/DefinedAs | x ≤ y
Facets:
Source sentences:
text: The natural interpretation of ⊢ {\displaystyle \vdash } is as ≤ in the partial order of the Boolean algebra defined by x ≤ y just when x∨y = y.
text: The natural interpretation of ⊢ {\displaystyle \vdash } is as ≤ in the partial order of the Boolean algebra defined by x ≤ y just when x∨y = y.