Examples of Propositional Calculus

From Norsemathology
Revision as of 15:01, 6 February 2009 by Fubini (talk | contribs) (Replacing page with '* Some Fun, Motivating Examples from Propositional and Predicate Calculus (including some from Lewis Carroll) * [[Quantifiers, instantiation and generalization, and the Con...')
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search