Este resumen analiza la validez de un argumento lógico expresado en notación de proposiciones. La tabla de verdad muestra que la conclusión no se mantiene verdadera para todas las líneas, por lo que el argumento no es válido. Debido a que la conclusión depende de circunstancias contingentes y no se sigue necesariamente de las premisas, el argumento adolece de contingencia.