Diagrama de Randolph

Un diagrama de Randolph (o diagrama R ) es una forma sencilla de visualizar expresiones lógicas y combinaciones de conjuntos. Los diagramas de Randolph fueron creados por el matemático John F. Randolph en 1965, durante su estancia en la Universidad de Arkansas .

Los diagramas de Randolph se interpretan fácilmente definiendo cada línea como perteneciente a un enunciado lógico o conjunto, o relacionada con él. Cualquier punto por encima de la línea indica verdad o inclusión, y por debajo, falsedad o exclusión. Mediante este sistema, se puede representar cualquier combinación de conjuntos o enunciados lógicos utilizando líneas que se cruzan.

Aunque los diagramas de Venn se utilizan más comúnmente para representar combinaciones de conjuntos, los diagramas de Randolph tienen la ventaja de poder representar de forma clara combinaciones de más de 3 conjuntos. Los diagramas de Venn requieren extenderse a dimensiones espaciales superiores o utilizar formas más complejas, mientras que los diagramas de Randolph se subdividen uniformemente para cada conjunto adicional. ^{[ 1 ]} A continuación se muestra una comparación entre un diagrama de Venn y un diagrama de Randolph para 5 conjuntos de enunciados lógicos:

En su artículo introductorio sobre el tema, «Examinando el cálculo proposicional y las operaciones con conjuntos » ^{[ 2 ]} , Randolph menciona que el primer uso de cruces y puntos para representar relaciones lógicas fue introducido por W. S. McCulloch , neurofisiólogo y contemporáneo de Randolph. Randolph modificó el sistema de McCulloch con una nueva forma de representar combinaciones y relaciones de más de dos enunciados lógicos o conjuntos, subdividiendo cada sección del diagrama R con una nueva línea diagonal para cada nuevo elemento introducido. El artículo de Randolph sugiere que su idea original era usar diagramas R para representar relaciones lógicas, y luego extendió la idea para aplicarla también a la teoría de conjuntos. A lo largo del artículo, los diagramas R se utilizan junto con los símbolos binarios de operaciones lógicas y de conjuntos habituales.

Al aplicar diagramas R a la teoría lógica, las proposiciones lógicas p, q y r pueden representarse mediante una o varias líneas para mostrar visualmente la validez de cada elemento en una proposición más amplia. Generalmente, se considera que p se representa con una línea inclinada hacia arriba (/) y q con una línea inclinada hacia abajo (\). Un punto en el diagrama, encima de una línea inclinada, indica la veracidad de la proposición; de igual modo, un punto debajo indica su falsedad. Los diagramas R para p y q se muestran a continuación:

Para más de dos enunciados, los cuatro espacios formados por la intersección de las líneas p y q deben subdividirse en más líneas. En el caso de r, se añade una línea inclinada hacia arriba (/) en cada uno de los cuatro espacios. El diagrama R para r se muestra a continuación:

Este método puede extenderse a cualquier número de valores de verdad:

, etc.

Los diagramas R se utilizan principalmente para representar expresiones lógicas. Dada una proposición lógica, los diagramas R pueden mostrar el resultado de cada posible variación verdadera/falsa de cada elemento, creando una forma alternativa de representar una tabla de verdad .

Todas las operaciones lógicas básicas, o conectores , pueden expresarse utilizando diagramas R como una alternativa más legible a una tabla de verdad, como se muestra en la tabla siguiente:

Los diagramas R también se utilizan en la teoría de conjuntos , como alternativa a los diagramas de Venn. En la teoría de conjuntos, cada línea representa un conjunto en lugar de una proposición lógica; A reemplaza a p y B reemplaza a q. Cuando se utilizan para conjuntos, un punto sobre la línea representa la inclusión, mientras que un punto debajo representa la exclusión. Al igual que en lógica, las operaciones básicas de conjuntos se pueden representar visualmente mediante diagramas R.

Los diagramas R ilustran la equivalencia entre los conceptos de la teoría de conjuntos y la lógica: la intersección en la teoría de conjuntos es equivalente a la conjunción en la lógica, y la unión en la teoría de conjuntos es equivalente a la disyunción lógica.