# Lewis Carroll's Diagrams

Requires a Wolfram Notebook System

Interact on desktop, mobile and cloud with the free Wolfram CDF Player or other Wolfram Language products.

Requires a Wolfram Notebook System

Edit on desktop, mobile and cloud with any Wolfram Language product.

This Demonstration shows Carroll's diagrams of a Boolean function of three propositional variables , and that correspond to membership in the sets , and . Click the rectangles or L-shaped regions to indicate they are nonempty. The Boolean function is given by minimizing its disjunctive normal form.

Contributed by: Izidor Hafner (August 2016)

Open content licensed under CC BY-NC-SA

## Snapshots

## Details

This version of Carroll's diagrams was found in [2, p. 112]. See also [5].

References

[1] R. Audi, ed., *The Cambridge Dictionary of Philosophy*, Cambridge: Cambridge University Press, 1995 pp. 780–782.

[2] L. Borkowski, *Elementy logiki formalnej* (*Elements of Formal Logic*, in Polish), 3rd ed., Warsaw: Wyd, 1976.

[3] L. Carroll, *Symbolic Logic and the Game of Logic*, New York: Dover, 1958.

[4] I. M. Copi and C. Cohen, *Introduction to Logic*, 9th ed., New York: Macmillan, 1994 pp. 214–218.

[5] Wikipedia. "Categorical Proposition." (Aug 16, 2016) en.wikipedia.org/wiki/Categorical_proposition.

## Permanent Citation

"Lewis Carroll's Diagrams"

http://demonstrations.wolfram.com/LewisCarrollsDiagrams/

Wolfram Demonstrations Project

Published: August 17 2016