You're using an ancient browser to surf the modern web. Please update to the latest version (and don't use Internet Explorer!).

Leonardi.DB
a logical geometry project

Logic. Part I (1921), p. 138
by Johnson, W. E.

Logic

Aristotelian family
Degenerate Sigma-2 with Unconnectedness 4
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

Geometry

Shape
Square (regular)
Colinearity range
0
Coplanarity range
0
Cospatiality range
0
Representation of contradiction
By central symmetry

Vertex description

Edge description

Style

Diagram is colored
No
Diagram is embellished
No
Tags
existential import
↑ Back to top ↑