Se denomina Gráficos existenciales 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.