Law scho

and also to the formula

(x) (Hx. Fx)


A typical E proposition such as "No
human are fallible." can be stated successively as


Given any individual thing whatever, if It
is human then it is not fallible
Given any x, x
is human implies x is not fallible
and finally as


(x) (Hx implies Fx)

We know
already that an E proposition is contradiction by
the | proposition. 50 "No humans are fallible" is
denied by "Some humans are fallible." Translating
the latter into our symbolic notation we have successively.