Un gráfico entitativo es un elemento de la sintaxis diagramática para la lógica que Charles Sanders Peirce desarrolló bajo el nombre de lógica cualitativa a partir de la década de 1880, tomando la cobertura del formalismo solo en lo que respecta a los aspectos proposicionales o oracionales de la lógica. Ver 3.468, 4.434 y 4.564 en Collected Papers de Peirce .
Una "prueba" manipula un gráfico, utilizando una lista corta de reglas, hasta que el gráfico se reduce a un corte vacío o una página en blanco. Un gráfico que se puede reducir tanto es lo que ahora se llama tautología (o el complemento de la misma). Los gráficos que no se pueden simplificar más allá de cierto punto son análogos de las fórmulas satisfactorias de la lógica de primer orden .
Peirce pronto abandonó las gráficas entitativas por las gráficas existenciales , cuya parte oracional ( alfa ) es dual a las gráficas entatativas. Desarrolló los gráficos existenciales hasta que se convirtieron en otro formalismo de lo que ahora se denomina lógica de primer orden y lógica modal normal .