Mathematica MathWorld Wolfram Science More »

HOME

TOPICS

LATEST

Bochvar's Three-Valued Logic

This Demonstration presents a simple test for Bochvar's (1939) three-valued logic. The values are: True, False, and Undefined (or Paradoxical or Meaningless), with associated numerical values 1, 0, 1/2, respectively. The value of compound propositions is evaluated according to Bochvar's matrices for internal connectives.

Contributed by: Izidor Hafner

Show Initialization Code

(74 lines omitted)

A simple two-dimensional area is occupied by triangles, squares, and pentagons of three different sizes and two colors. If in a statement an individual constant with no reference appears (

in case of a world with two figures

and

), then the statement is meaningless.

S. Haack, Deviant Logic, London: Cambridge University Press, 1974 p. 169.

Three-Valued Logic (Wolfram MathWorld)

Kleene's Three-Valued Logic (The Wolfram Demonstrations Project)

"Bochvar's Three-Valued Logic" from The Wolfram Demonstrations Project
http://demonstrations.wolfram.com/BochvarsThreeValuedLogic/

Contributed by: Izidor Hafner

Report an issue »

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

Browse all 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