10765
EXPLORE
LATEST
ABOUT
AUTHORING AREA
PARTICIPATE
Your browser does not support JavaScript or it may be disabled!
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
THINGS TO TRY
Drag Locators
SNAPSHOTS
DETAILS
Reference:
J. Barwise and J. Etchemendy,
Tarski's World
, Stanford, CA: CSLI Publications, 1993.
RELATED LINKS
Propositional Logic Test
(
Wolfram Demonstrations Project
)
First-Order Logic
(
Wolfram
MathWorld
)
PERMANENT CITATION
"
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 Demonstrations
More by Author
Basic Examples of Propositional Calculus
Izidor Hafner
Propositional Logic Test
Izidor Hafner
Propositional Logic Puzzle Generator
Izidor Hafner
Algebraic Problems in Propositional Logic
Izidor Hafner
Inconsistent Set of Statements
Izidor Hafner
Protothetic
Izidor Hafner
Equivalential Calculus
Izidor Hafner
Inconsistent Sets of Statements from Knights and Knaves
Izidor Hafner
Spies and Double Agents
Izidor Hafner
Another Knights and Knaves Puzzle Generator
Izidor Hafner
Related Topics
Mathematical Logic
Browse all topics
Note: To run this Demonstration you need Mathematica 7+ or the free Mathematica Player 7EX
Download or upgrade to
Mathematica Player 7EX
I already have
Mathematica Player
or
Mathematica 7+