Assertion: boolean algebra | /r/CapableOf | capture logic formulas
Facets:
Source sentences:
text: Boolean algebra is not sufficient to capture logic formulas using quantifiers, like those from first order logic.
text: Boolean algebra is not sufficient to capture logic formulas using quantifiers, like those from first order logic.