Se denomina
Gráficos existenciales (en inglés:
existential graphs) al sistema lógico y de notación creado por el lógico y filósofo norteamericano
Charles Sanders Peirce. El sistema comprende tanto una notación gráfica original de
proposiciones lógicas como también un sistema de
cálculo lógico, es decir, un sistema formal de reglas de inferencia en el cual a partir de enunciados originales y reglas de transformación se generan nuevos enunciados derivados de los primeros.