![](/diagrams/luzeaux-et-al-_2008_logical-extensions-of_1dv12vgm7_p-179_1ecktisvp/images/display.jpeg?url=http%3A%2F%2Fpurl.org%2Flg%2Fdiagrams%2Fluzeaux-et-al-_2008_logical-extensions-of_1dv12vgm7_p-179_1ecktisvp%2Fimages%2Fdisplay.jpeg)
Logical Extensions of Aristotle's Square (2008), p. 179
by Luzeaux, Dominique; Sallantin, Jean; Dartnell, Christopher
![]( /diagrams/luzeaux-et-al-_2008_logical-extensions-of_1dv12vgm7_p-179_1ecktisvp/images/display.jpeg?url=http%3A%2F%2Fpurl.org%2Flg%2Fdiagrams%2Fluzeaux-et-al-_2008_logical-extensions-of_1dv12vgm7_p-179_1ecktisvp%2Fimages%2Fdisplay.jpeg )
Copyright according to our policy
- Aristotelian family
- Jacoby-Sesmat-Blanché Sigma-3
- Boolean complexity
- 4
- Number of labels per vertex (at most)
- 1
- Uniqueness of the vertices up to logical equivalence
- No
- Errors in the diagram
- No
- Shape
- Triangular Prism
- Colinearity range
- 0–1
- Coplanarity range
- 0
- Cospatiality range
- 0
- Representation of contradiction
- By some other geometric feature
Logic
Geometry
- Conceptual info
- No
- Mnemonic support (AEIO, purpurea ...)
- No
- Form
- none
- Label type
- generic placeholders
Vertex description
Edge description
- Diagram is colored
- No
- Diagram is embellished
- No
Style
Additional notes
- Each $B^i$ is equivalent to either $A^i$ above it or $C^i$ below it. Two of the $B$'s are equivalent to their corresponding $A$'s above, while the remaining third $B$ is equivalent to its corresponding $C$ below. After all, if $B^i \equiv A^i$ and $B^j \equiv A^j$, then $B^k \equiv \neg B^i \wedge \neg B^j \equiv \neg A^i \wedge \neg A^j \equiv C^k$.