Este instrumento ilustra la aplicación de las reglas de inferencia Modo Ponendo Ponens, Adjunción y simplificación para probar la validez de un argumento