En la lógica proposicional, hay tablas de verdad. Por lo tanto, puedes verificar si la estructura lógica de tu argumento es, no correcta per se, pero si es lo que pretendías que fuera.
En la lógica de predicados, no he visto ninguna referencia a las tablas de verdad, ni he visto ningún uso (uso literal) de las tablas de verdad al buscar ejemplos donde se utilicen en LP.
Sería bueno verificar la estructura lógica de mis propios argumentos, ya que no siempre tendré a alguien que valide mi trabajo. Planeo emplear mis habilidades en lógica, pero quiero una forma segura de asegurarme de que mi forma sea correcta :)
