## boolBool 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). Author: Danny (remove the ".nospam" to send) Last modification on: Sat, 04 May 2024 . |