Mathematica MathWorld Wolfram Science More »

HOME

TOPICS

LATEST

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

Show Initialization Code

(179 lines omitted)

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

Propositional Calculus (Wolfram MathWorld)

"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

Report an issue »

Interact with Demonstrations using the latest version of the free Mathematica Player—Download Now

Browse all topics

Browse all education topics

	Source page:
	Email	Name (optional)
	Occupation (optional)	Organization (optional)
	I use Mathematica often occasionally never
	Country (optional) Remember me
	Note: Please do not include anything you consider confidential or proprietary. Your message and contact information may be shared with the author of any specific Demonstration for which you give feedback, but will not otherwise be published or distributed. Privacy Policy »

Wolfram Research

Site Index

RSS

Atom