Bool introduced integer "values" for logical values.

He defined True to be 1 and False to be 0.

Then, Bode found the relations:

All X are Y

No X are Y

Some X are Y

Some X are not Y

Contradiction

See also Curry-Howard Isomorphism (1980).

See also Isabelle Pro (Paulson, 1993).