Existential graph

Existential graphs are a visual notation developed by the American philosopher and logician Charles Sanders Peirce in the late 19th century. They are a form of representation for logical propositions and relationships, particularly useful in the context of modal logic and quantification. Existential graphs are intended to express propositional and predicate logic through graphical means, making the logical structure of arguments more intuitive.