La matriz de verdad muestra una combinación de valores de verdad para las variables p y q que hace que la conjunción sea falsa. Como la conclusión también es falsa, el argumento es válido ya que no hay una interpretación posible que haga que las premisas sean verdaderas y la conclusión falsa.

1. p q
V V V V F V V
V F F V F F F
F V V V V V V
F F V V V V F
Es una tautología; por lo tanto, el
argumento dado es válido.