Assertion: sheffer stroke | /r/CapableOf | denote logical operation
Facets:
value: in boolean functions
type: OTHER
value: in propositional calculus
type: OTHER
Source sentences:
text: In Boolean functions and propositional calculus, the Sheffer stroke denotes a logical operation that is equivalent to the negation of the conjunction operation, expressed in ordinary language as "not both".