9458
EXPLORE
LATEST
ABOUT
AUTHORING AREA
PARTICIPATE
Your browser does not support JavaScript or it may be disabled!
Propositional Logic Test
This Demonstration gives a propositional logic test. A simple two-dimensional world is inhabited by triangles, squares, and pentagons with three sizes and two colors. The task is to find truth values for ten statements about the world.
Contributed by:
Izidor Hafner
Based on work by:
Jon Barwise
and
John Etchemendy
SNAPSHOTS
DETAILS
J. Barwise and J. Etchemendy,
Tarski's World
, Stanford, CA: CSLI Publications, 1993.
RELATED LINKS
Propositional Calculus
(
Wolfram
MathWorld
)
PERMANENT CITATION
"
Propositional Logic Test
" from
the Wolfram Demonstrations Project
http://demonstrations.wolfram.com/PropositionalLogicTest/
Contributed by:
Izidor Hafner
Based on work 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 Puzzle Generator
Izidor Hafner
Bochvar's Three-Valued Logic
Izidor Hafner
Lukasiewicz's Three-Valued Logic
Izidor Hafner
Another Knights and Knaves Puzzle Generator
Izidor Hafner
Deaf Island Puzzle Generator
Izidor Hafner
Four-Variable Karnaugh Map
Mariusz Jankowski
Binary Operators Satisfying Two Axioms
Michael Schreiber
Lewis Carroll's Diagram and Categorical Syllogisms
Izidor Hafner
Arithmetic in Lambda Calculus
Enrique Zeleny
First-Order Logic Test
Izidor Hafner
Related Topics
Foundations of Mathematics
Mathematical Logic
High School Finite Mathematics
High School Mathematics
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+