Find a Model for a Set of Propositions
Requires a Wolfram Notebook System
Interact on desktop, mobile and cloud with the free Wolfram Player or other Wolfram Language products.
In this Demonstration, aim to build a model for the set of statements—that is, a structure (or world) in which all the statements are true. If that is possible, the set of statements is consistent.
Contributed by: Izidor Hafner (March 2011)
Based on an idea by: Jon Barwise and John Etchemendy
Open content licensed under CC BY-NC-SA
J. Barwise and J. Etchemendy, Tarski's World, Stanford, CA: CSLI Publications, 1993.
"Find a Model for a Set of Propositions"
Wolfram Demonstrations Project
Published: March 7 2011