9722
EXPLORE
LATEST
ABOUT
AUTHORING AREA
PARTICIPATE
Your browser does not support JavaScript or it may be disabled!
Typical Predicate Calculus Statements
This Demonstration provides an exercise with typical first-order logic statements that contain quantifiers and propositional connectives.
Contributed by:
Izidor Hafner
Based on an idea by: Jon Barwise and John Etchemendy
THINGS TO TRY
Drag Locators
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
"
Typical Predicate Calculus Statements
" from
the Wolfram Demonstrations Project
http://demonstrations.wolfram.com/TypicalPredicateCalculusStatements/
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
Equivalential Calculus
Izidor Hafner
Arithmetic in Lambda Calculus
Enrique Zeleny
Basic Examples of Propositional Calculus
Izidor Hafner
Inconsistent Set of Statements
Izidor Hafner
Inconsistent Sets of Statements from Knights and Knaves
Izidor Hafner
The Completeness Theorem of Equivalential Calculus
Izidor Hafner
Find a Model for a Set of Propositions
Izidor Hafner
Skolemization
Hector Zenil
Formula Generator
Hector Zenil
First-Order Logic Test
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+