Wolfram Research

Mathematica MathWorld Wolfram Science More »

HOME

Find a Model for a Set of Propositions

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

Show Initialization Code

(54 lines omitted)

Reference:

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

Propositional Logic Test (The 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

Report an issue »

Interact with Demonstrations using the latest version of the free Mathematica Player—Download Now

Mathematical Logic

Browse all topics

	Source page:
	Email	Name (optional)
	Occupation (optional)	Organization (optional)
	I use Mathematica often occasionally never
	Country (optional) Remember me
	Note: Please do not include anything you consider confidential or proprietary. Your message and contact information may be shared with the author of any specific Demonstration for which you give feedback, but will not otherwise be published or distributed. Privacy Policy »

Wolfram Research

Site Index

RSS

Atom