Mathematica MathWorld Wolfram Science More »

Typical Predicate Calculus Statements

This Demonstration provides an exercise with typical first-order logic statements that contain quantifiers and propositional connectives.

(179 lines omitted)

Reference:

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

Contributed by: Izidor Hafner

Based on an idea by: Jon Barwise and John Etchemendy

Report an issue »

	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 »

RSS

Atom