9722
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
Algebraic Problems in Propositional Logic
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+