9772
EXPLORE
LATEST
ABOUT
AUTHORING AREA
PARTICIPATE
Your browser does not support JavaScript or it may be disabled!
First-Order Logic Test
This Demonstration provides a test in first-order logic. A simple two-dimensional world is inhabited by triangles, squares, and pentagons of three sizes and two colors. The task is to find truth values of ten statements about the world.
Contributed by:
Izidor Hafner
Based on an idea by:
Jon Barwise
and
John Etchemendy
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
"
First-Order Logic Test
" from
the Wolfram Demonstrations Project
http://demonstrations.wolfram.com/FirstOrderLogicTest/
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
Propositional Logic Test
Izidor Hafner
Logic with Letters
Izidor Hafner
Logic with Logicians
Izidor Hafner
Logic Metapuzzle Generator
Izidor Hafner
Kleene's Three-Valued Logic
Izidor Hafner
Some Simple Logic Problems
Izidor Hafner
2D Logic Game with Letters
Izidor Hafner
Propositional Logic Puzzle Generator
Izidor Hafner
Logic Problems for Elementary Students
Izidor Hafner
Logic on the Number Line
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+