Lo scenario
Illustrate direct logical implications between propositions (e.g., square implies rectangle and rhombus, both imply parallelogram) without transitive edges.
Cosa contiene questo disegno
Leggi le decisioni che ne stanno alla base.
01
Bottom-to-top orientation to reflect increasing generality
02
Omitting transitive connections for Hasse clarity
Reusable for any partial order of logical statements or set inclusions.