Typical Predicate Calculus Statements

Requires a Wolfram Notebook System
Interact on desktop, mobile and cloud with the free Wolfram Player or other Wolfram Language products.
This Demonstration provides an exercise with typical first-order logic statements that contain quantifiers and propositional connectives.
Contributed by: Izidor Hafner (March 2011)
Based on an idea by: Jon Barwise and John Etchemendy
Open content licensed under CC BY-NC-SA
Snapshots
Details
Reference:
J. Barwise and J. Etchemendy, Tarski's World, Stanford, CA: CSLI Publications, 1993.
Permanent Citation
"Typical Predicate Calculus Statements"
http://demonstrations.wolfram.com/TypicalPredicateCalculusStatements/
Wolfram Demonstrations Project
Published: March 7 2011