The calculus of logic
George Boole
Страница - 66
Страница - 68
s are
s.
The other extreme treated in the same way would give
All not-
s are
s,