Assertion: boolean logic | /r/CapableOf | treat its connectives
Facets:
Source sentences:
text: This is similar to the way Boolean logic treats its connectives, say, disjunction: it does not analyze the formula \(p \vee q\) but rather assumes certain logical axioms and truth tables about this formula.