Assertion: stroke | /r/CapableOf | prove its equivalence
Facets:
Source sentences:
text: The stroke is named after Henry M. Sheffer, who in 1913 published a paper in the Transactions of the American Mathematical Society (Sheffer 1913) providing an axiomatization of Boolean algebras using the stroke, and proved its equivalence to a standard formulation thereof by Huntington employing the familiar operators of propositional logic (and, or, not).