La tarea de la lógica de primer orden consiste en determinar por qué los argumentos como este resultan válidos.