# "Setting" n-Opposition (2008), p. 240

by Pellissier, RĂ©gis

Copyright according to our policy

- Aristotelian family
- Non-Sigma
- Boolean complexity
- 4
- Number of labels per vertex (at most)
- 1
- Uniqueness of the vertices up to logical equivalence
- Yes
- Errors in the diagram
- No
- Shape
- Triangular Prism (irregular)
- Colinearity range
- 0
- Coplanarity range
- 0
- Cospatiality range
- 0
- Representation of contradiction
- N.A.

### 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

- On p. 240, we read: "each vertex of the top triangle implies the corresponding vertex of the bottom triangle, A, A' et B''form a triangle of strong contrariety, and the same for A, A''et B' and for A', A''et B."

This diagram can be formalized using bitstrings of length 4:

A = 1000, A' = 0100, A'' = 0010

B = 1001, B' = 0101, B'' = 0011

The negation closure of this diagram is a sigma-6.