View source for Holomorphic Lefschetz fixed-point formula

[[File:Randolph-diagram-disjunction.svg|thumb|250px|'''Randolph diagram''' that represents the logical statement <math>P \or Q</math> ([[Logical disjunction|disjunction]]).]]

A '''Randolph diagram''' ('''R-diagram''') is a simple way to visualize logical expressions and combinations of sets. Randolph diagrams were created by mathematician John F. Randolph in 1965, while he was teaching at the [[University of Arkansas]].

== Overview ==
Randolph diagrams can be interpreted most easily by defining each line as ''belonging to'' or ''relating to'' one logical statement or set. Any dot above the line indicates truth or inclusion and below the line indicates falsity or exclusion. Using this system, one can represent any combination of sets or logical statements using intersecting lines.

Though [[Venn diagram]]s are more commonly used to represent combinations of sets, Randolph diagrams have the advantage of being able to cleanly represent combinations of more than 3 sets. Venn diagrams require either extension into higher spatial dimensions or the use of more complicated shapes while Randolph diagrams evenly subdivide for every additional set.<ref name="Sets and Randolph Diagrams">{{cite web|last=Barksdale|first=James B., Jr.|title=Sets and Randolph Diagrams|url=http://www.eric.ed.gov/PDFS/ED045458.pdf|work=Paper presented at the Louisville Regional Convention of the National Council of Teachers of Mathematics (Louisville, Kentucky, October, 1970)|publisher=Western Kentucky University|accessdate=15 March 2012}}</ref> Here is a comparison between a Venn diagram and R-diagram for 5 sets or logical statements:

[[File:Venn5.svg|300px|Venn's construction for 5 sets]]
[[File:Randolph-diagram-n5.svg|260px|A Randolph diagram for five sets]]

== History ==
In his introductory paper on the subject, ''Cross-Examining Propositional Calculus and Set Operations'',<ref name="Cross-Examining Propositional Calculus and Set Operations">{{cite web|last=Randolph|first=John F.|title=Cross-Examining Propositional Calculus and Set Operations|url=http://www.jstor.org/stable/2310972|work=The American Mathematical Monthly, Vol. 72, No. 2 (Feb., 1965), pp. 117-127|publisher=Mathematical Association of America|accessdate=15 March 2012}}</ref> Randolph mentions that the first use of crosses and dots to represent logical relationships was introduced by [[Warren Sturgis McCulloch|W. S. McCulloch]], a neurophysiologist and Randolph's contemporary. Randolph modified McCulloch's system with a new way of representing combinations and relationships of more than two logical statements or sets, namely subdividing each section of the R-diagram with a new diagonal line for each new element introduced. Randolph's paper suggests that his original notion was to use R-diagrams to represent logical relationships, and then expanded the idea to be applied to set theory as well. Throughout the paper, R-diagrams are used in conjunction with normal logical and set binary operation symbols.

== Application to logic theory ==
{{See also|Mathematical logic}}

When applying R-diagrams to logic theory, [[Truth value|logical statements]] p, q, and r can each become a line or multiple lines to visually display the validity of each element in a larger statement. Generally, p is thought to be represented by an upward sloping line (/) while q is represented by a downward sloping line (\). A dot in the diagram above a slanting line indicates truth for that statement; likewise, a dot below indicates falsity. The R-diagrams for p and q are shown below, respectively:

[[File:R-diagram-p.svg|100px]]
[[File:Randolph-diagram-q.svg|100px]]

For more than two statements, the four spaces formed by the intersection of lines p and q must be subdivided into more lines. In the case of r, a single upward sloping line (/) is added in each of the four spaces. The R-diagram for r is shown below:

[[File:R-diagram-r.svg|150px]]

This method can be extended for any number of truth values:

[[File:Randolph-diagram-subdivisions.svg|600px|Randolph-diagram-subdivisions]], etc.

R-diagrams are primarily used to represent logical expressions. Given a logical proposition, R-diagrams are able to display the outcome of every possible true/false variation of each element, creating an alternative way to represent a [[truth table]].

{| class="wikitable" style="text-align:center;"
|+style="white-space:nowrap"| Truth Table
|-
! # !! p !! q !! r
|-
| 1 || T || T || T
|-
| 2 || T || T || F
|-
| 3 || T || F || T
|-
| 4 || T || F || F
|-
| 5 || F || T || T
|-
| 6 || F || T || F
|-
| 7 || F || F || T
|-
| 8 || F || F || F
|}[[File:Randolph-diagram-numbers.svg|200px]][[File:Randolph-diagram-truthvalues.svg|200px]]

All the basic logical operations, or [[Logical connectives|connectives]], can be expressed using an R-diagrams as a more easily readable alternative to a truth table, as is shown in the table below:

{| class="wikitable" style="text-align:center;"
|+style="white-space:nowrap"| Basic Logical Operations
|-
! Name !! Symbols !! R-Diagram !! Truth Table
|-
| [[Negation|Negation (not)]] || ¬ , ~ || [[File:Randolph-diagram-negation.svg|75px]] ||
 {| class="wikitable" style="text-align:center;"
 |-
 ! p
 ! ¬p
 |-
 | T || F
 |-
 | F || T
 |}
|-
| [[Logical conjunction|Conjunction (and)]] || & , ∧ || [[File:Randolph-diagram-conjunction.svg|75px]] ||
 {| class="wikitable" style="text-align:center;"
 |-
 ! p
 ! q
 ! p ∧ q
 |-
 | T || T || T
 |-
 | T || F || F
 |-
 | F || T || F
 |-
 | F || F || F
 |}
|-
| [[Logical disjunction|Disjunction (or)]] || ∨ || [[File:Randolph-diagram-disjunction.svg|75px]] ||
 {| class="wikitable" style="text-align:center;"
 |-
 ! p
 ! q
 ! p ∨ q
 |-
 | T || T || T
 |-
 | T || F || T
 |-
 | F || T || T
 |-
 | F || F || F
 |}
|-
| [[Material conditional|Material implication (if...then)]] || <math>\rightarrow</math> , <math>\Rightarrow</math>, <math>\supset</math> || [[File:Randolph-diagram-implication.svg|75px]] ||
 {| class="wikitable" style="text-align:center;"
 |-
 ! p
 ! q
 ! p <math>\rightarrow</math> q
 |-
 | T || T || T
 |-
 | T || F || F
 |-
 | F || T || T
 |-
 | F || F || T
 |}
|-
| [[Logical biconditional|Biconditional (if and only if, xnor)]] || <math>\leftrightarrow</math>, <math>\equiv</math>, <math>=</math> || [[File:Randolph-diagram-bicondition.svg|75px]] ||
 {| class="wikitable" style="text-align:center;"
 |-
 ! p
 ! q
 ! p <math>\leftrightarrow</math> q
 |-
 | T || T || T
 |-
 | T || F || F
 |-
 | F || T || F
 |-
 | F || F || T
 |}
|}

=== Simplifying logical expressions ===
R-diagrams can be used to easily simplify complicated logical expressions, using a step-by-step process. Using order of operations, logical operators are applied to R-diagrams in the proper sequence. Finally, the result is an R-diagram that can be converted back into a simpler logical expression.

For example, take the following expression:

: <math>(Q \leftrightarrow P) \lor (\lnot P \land Q) \, </math>

It can be simplified using R-diagrams as follows:

: <math>(</math>[[File:Randolph-diagram-q.svg|40px]]<math>\leftrightarrow</math>[[File:R-diagram-p.svg|40px]]<math>) \lor (</math>[[File:Randolph-diagram-negation.svg|40px]]<math>\land</math>[[File:Randolph-diagram-q.svg|40px]]<math>)</math>

[[File:Randolph-diagram-bicondition.svg|40px]]<math>\lor</math>[[File:Randolph-diagram-qminusp.svg|40px]]

[[File:Randolph-diagram-implication.svg|40px]]

which is equal to:

: <math>P \rightarrow Q. \, </math>

=== Proving logical arguments ===
Similarly, R-diagrams can be used to prove or disprove logical arguments. Take, for instance, the well known argument [[modus ponens]], also known as implication elimination:

: <math>\frac{P \to Q, P}{\therefore Q}</math>

This can be converted into a [[Tautology (logic)|tautological]] logical expression,

: <math>((P \to Q) \land P) \to Q</math>

which can then be simplified using R-diagrams:

: <math>((</math>[[File:R-diagram-p.svg|40px]]<math> \to </math>[[File:Randolph-diagram-q.svg|40px]]<math>) \land </math>[[File:R-diagram-p.svg|40px]]<math>) \to </math>[[File:Randolph-diagram-q.svg|40px]]

<math>(</math>[[File:Randolph-diagram-implication.svg|40px]]<math> \land </math>[[File:R-diagram-p.svg|40px]]<math>) \to </math>[[File:Randolph-diagram-q.svg|40px]]

[[File:Randolph-diagram-conjunction.svg|40px]]<math> \to </math>[[File:Randolph-diagram-q.svg|40px]]

[[File:Randolph-diagram-tautology.svg|40px]]

The result is an R-diagram in which every space has a dot. This means the argument is a tautology; it is true in all cases. An R-diagram in which no space has a dot is a [[contradiction]], a statement that is never true.

== Application to set theory ==
{{See also|Set theory}}

R-diagrams are also used in [[set theory]], as an alternative to Venn diagrams. In set theory, each line represents a set instead of a logical statement; A replaces p and B replaces q. When used for sets, a dot above the line represents inclusion, where a dot below represents exclusion. As in logic, basic set operations can be represented visually using R-diagrams:

{| class="wikitable" style="text-align:center;"
|+style="white-space:nowrap"| Basic Set Operations
|-
! Name !! Notation!! R-Diagram
|-
| [[Union (set theory)|Union]] || <math>A \cup B</math> || [[File:Randolph-diagram-disjunction.svg|75px]]
|-
| [[Intersection (set theory)|Intersection]] || <math>A \cap B</math> || [[File:Randolph-diagram-conjunction.svg|75px]]
|-
|-
| [[Complement (set theory)#Absolute complement|Absolute Complement]] || <math>A^{c}</math> || [[File:Randolph-diagram-negation.svg|75px]]
|-
| [[Complement (set theory)#Relative complement|Relative Complement (set difference)]] || <math>A \smallsetminus B</math> || [[File:Randolph-diagram-diff.svg|75px]]
|-
| [[Symmetric difference|Symmetric Difference]] || <math>A \Delta B</math> || [[File:Randolph-diagram-symdiff.svg|75px]]
|}

R-diagrams illustrate the equivalence between the set theoretical and logical concepts: intersection in set theory is equivalent to conjunction in logic, and set theory's union is equivalent to the logical disjunction.

== References ==
{{Reflist}}

{{logic}}

<!--- Categories --->

[[Category:Articles created via the Article Wizard]]
[[Category:Graphical concepts in set theory]]
[[Category:Diagrams]]