Propositional, First-Order And Higher-Order Logics: Basic Denitions, Rules of Inference, and Examples
Stuart C. Shapiro · 2000
We will use CarPool World as a simple example. In CarPool World, Tom and Betty carpool to work. On any day, either Tom drives Betty or Betty drives Tom. In the former case, Tom is the driver and Betty is the passenger. In the latter case, Betty is the driver and Tom is the passenger. ∗This is a preprint version of Stuart C. Shapiro, Propositional, First-Order And Higher-Order Logics: Basic Definitions, Rules of Inference, and Examples. In Lucja M. Iwanska & Stuart C. Shapiro, Eds., Natural Language Processing and Knowledge Representation: Language for Knowledge and Knowledge for Language, AAAI Press/The MIT Press, Menlo Park, CA, 2000, 379-395, and may differ slightly from the final, published version. All quotes should be from and all citations should be of the published version.