Wolfram Demonstrations Project

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
Based on an idea by: Jon Barwise and John Etchemendy

Drag Locators

Reference:

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

Propositional Logic Test (Wolfram Demonstrations Project)

First-Order Logic (Wolfram MathWorld)

"Find a Model for a Set of Propositions" from the Wolfram Demonstrations Project
http://demonstrations.wolfram.com/FindAModelForASetOfPropositions/

Contributed by: Izidor Hafner

Based on an idea by: Jon Barwise and John Etchemendy

- Share:

Embed Interactive Demonstration New!

Just copy and paste this snippet of JavaScript code into your website or blog to put the live Demonstration on your site. More details »

Download Demonstration as CDF »

Download Author Code »(preview »)

Files require Wolfram CDF Player or Mathematica.

Related Topics

Mathematical Logic

Browse all topics

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.

Find a Model for a Set of Propositions

THINGS TO TRY

SNAPSHOTS

DETAILS

RELATED LINKS

PERMANENT CITATION

Related Topics