Assertion: concrete boolean algebra | /r/CapableOf | satisfy law
Facets:
value: by fiat
type: MANNER
value: by proof
type: MANNER
Source sentences:
text: All concrete Boolean algebras satisfy the laws (by proof rather than fiat), whence every concrete Boolean algebra is a Boolean algebra according to our definitions.
text: All concrete Boolean algebras satisfy the laws (by proof rather than fiat), whence every concrete Boolean algebra is a Boolean algebra according to our definitions.