Como ve en la tabla de verdad a continuación, esta forma de argumento pasa la prueba de validez de la tabla de verdad (ya que no hay fila de la tabla de verdad en la que todas las premisas son verdade...Como ve en la tabla de verdad a continuación, esta forma de argumento pasa la prueba de validez de la tabla de verdad (ya que no hay fila de la tabla de verdad en la que todas las premisas son verdaderas y sin embargo la conclusión es falsa). Es decir, la línea 1 es una conjunción (ya que el punto es el operador principal de la oración) y la línea 2 está inferyendo una de las conjunciones de esa conjunción en la línea 1. (Basta pensar en la “A v B” como la “p” y la “~ (C ⋅ D)” como la “q”.)
