La prueba de una declaración de $X$ en términos de supuestos $A$, $B$ y $C$ a veces puede ser representada mediante un grafo dirigido: $$ \begin{matrix} & & X\\ & \nearrow & & \nwarrow\\ A & & & & Y\\ & & & \nearrow & & \nwarrow\\ & & B & & & & C \end{de la matriz} $$ donde $Y$ es un intermedio conclusión. $p \to q$ significa que "$p$ es utilizado en la prueba de $q$", no que "$p$ implica $q$".
¿Cuál es el nombre de este tipo de "razonamiento diagrama"?
Este documento define algo similar llamado un gráfico lógico; de hecho, su Introducción que describe exactamente lo que he descrito anteriormente. Sin embargo, el papel más tarde dice que las flechas implicación, y la correcta forma de condiciones en la Definición 1 no atender a lo que he descrito anteriormente.
