Wolfram Demonstrations Project

This Demonstration provides an exercise with typical first-order logic statements that contain quantifiers and propositional connectives.

Reference:

J. Barwise and J. Etchemendy, Tarski's World, Stanford, CA: CSLI Publications, 1993.

Contributed by: Izidor Hafner

Based on an idea by: Jon Barwise and John Etchemendy

Embed Interactive Demonstration New!

RELATED RESOURCES

Mathematica » The #1 tool for creating Demonstrations and anything technical.	Wolfram\|Alpha » Explore anything with the first computational knowledge engine.	MathWorld » The web's most extensive mathematics resource.	Course Assistant Apps » An app for every course— right in the palm of your hand.
Wolfram Blog » Read our views on math, science, and technology.	Computable Document Format » The format that makes Demonstrations (and any information) easy to share and interact with.	STEM Initiative » Programs & resources for educators, schools & students.	Computerbasedmath.org » Join the initiative for modernizing math education.

Typical Predicate Calculus Statements