Template:3-ary Boolean relations; black and white Venn diagrams
This Venn diagram represents a 3-ary Boolean relation that makes only universal quantifications,
i.e. that tells only that somewhere, namely in the black areas, are no elements.
In the following example calculation the 3-ary relations are represented by their "logical tensors",
Venn diagrams like this one and cubes dual to the Venn diagrams:
|
|
|
The following representations of syllogisms also use this kind of Venn diagram.
The representation of Modus Barbara shows the same content as the example calculation above,
although the Venn diagrams are turned counterclockwise by 60°: