John C. Hansen

Learn More
It is well known that truth functions of any number of arguments can be defined in terms of a single logical operator. Viz. either D or X, where D is read "not-both" and X is read "neither-nor. "I It is less obvious that propositional calculi can be designed so as to make all logical operators unnecessary. This can be done by asserting that propositions are(More)
  • 1