ランドルフ図

ランドルフ図（R図）は、論理式や集合の組み合わせを視覚化する簡単な方法です。ランドルフ図は、数学者のジョン・F・ランドルフがアーカンソー大学在籍中の1965年に考案しました。

ランドルフ図は、各線が1つの論理式または集合に属するか、またはそれらに関連すると定義することで、最も簡単に解釈できます。線の上にある点は真または包含を示し、線の下にある点は偽または除外を示します。このシステムを使用すると、交差する線を用いて、集合または論理式の任意の組み合わせを表現できます。

ベン図は集合の組み合わせを表すのに一般的に使用されますが、ランドルフ図は3つ以上の集合の組み合わせをきれいに表現できるという利点があります。ベン図は、より高い空間次元への拡張またはより複雑な形状の使用を必要としますが、ランドルフ図は追加の集合ごとに均等に分割します。^{[ 1 ]}以下は、5つの論理ステートメントの集合に対するベン図とR図の比較です。

ランドルフは、この主題に関する入門論文「命題論理と集合演算の相互検証」^{[ 2 ]}の中で、論理関係を表すために十字と点を初めて用いたのは、神経生理学者でランドルフと同時代のWSマカロックであったと述べている。ランドルフは、2つ以上の論理命題または集合の組み合わせと関係を表す新しい方法でマカロックのシステムを修正し、導入される新しい要素ごとに新しい対角線でR図の各セクションを細分化した。ランドルフの論文は、彼の当初の考えは論理関係を表すためにR図を使用することであり、その後、その考えを集合論にも適用できるように拡張したことを示唆している。論文全体を通して、R図は通常の論理および集合の二項演算記号と併用して使用されている。

論理理論にR図を適用する場合、論理命題p、q、rはそれぞれ1本または複数本の線で表され、より大きな命題における各要素の妥当性を視覚的に示します。一般的に、pは上向きの線（/）で、qは下向きの線（\）で表されると考えられています。斜線の上にある点は、その命題が真であることを示し、斜線の下にある点は偽であることを示します。pとqのR図は、それぞれ以下に示されています。

2つ以上の文の場合、線pと線qの交点によって形成される4つのスペースをさらに細分化する必要があります。rの場合、4つのスペースそれぞれに1本の右上がりの線（/）が追加されます。rのR図を以下に示します。

この方法は、任意の数の真偽値に拡張できます。

など

R図は主に論理式を表すために使用されます。論理命題が与えられた場合、R図は各要素のあらゆる真偽のバリエーションの結果を表示することができ、真理値表を表す別の方法となります。

基本的な論理演算、つまり論理結合子はすべて、真理値表よりも読みやすい代替手段として、R図を使用して表現できます。下の表にその例を示します。

R図は、ベン図の代替として集合論でも使用されます。集合論では、各線は論理式ではなく集合を表します。Aはpを、Bはqをそれぞれ置き換えます。集合に使用する場合、線の上の点は包含関係を、下の点は除外関係を表します。論理学と同様に、基本的な集合演算はR図を用いて視覚的に表現できます。

R図は、集合論的概念と論理的概念の等価性を示しています。集合論における積集合は論理における連言に相当し、集合論における和集合は論理における選言に相当します。