Wolfram Demonstrations Project
7899

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.

SNAPSHOTS

  • [Snapshot]
  • [Snapshot]
  • [Snapshot]

DETAILS

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

RELATED LINKS

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




Related Topics




Contribute




 
RELATED RESOURCES
Mathematica »
 The #1 tool for creating Demonstrations
and anything technical. 		Wolfram|Alpha »
 Explore anything with the first
computational knowledge engine. 		MathWorld »
 The web's most extensive
mathematics resource. 		Course Assistant Apps »
 An app for every course—
right in the palm of your hand.
Wolfram Blog »
 Read our views on math,
science, and technology. 		Computable Document Format »
 The format that makes Demonstrations
(and any information) easy to share and interact with. 		STEM Initiative »
 Programs & resources for
educators, schools & students. 		Computerbasedmath.org »
 Join the initiative for modernizing
math education.
Powered by Wolfram Mathematica © 2012 Wolfram Demonstrations Project & Contributors  |  Terms of Use  |  Privacy Policy  |  RSS Give us your feedback
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+