Assertion: elementary algebra | /r/CapableOf | describe numerical operations
Facets:
Source sentences:
text: It is thus a formalism for describing logical operations in the same way that elementary algebra describes numerical operations.