Argumento
Para poder decir que un argumento es valido se tiene que tener tanto la premisa como la conclusión de forma valida. Para poder comprobar dicha cuestión se tienen que corroboras los permisos del predicado y cuando todas se constituyan verdad corroboramos la conclusión y si también resulta ser verdadera, podemos afirmar que es un argumento válido.[2]
O, dicho de otra manera, se realiza una tabla de verdad de los argumentos primero separándolo en sus variables de ahí sus predicados y por último en donde los predicados sean verdaderos comprobamos la conclusión.[2]
ejemplo
¬r
¬q
p v ¬r
∴ p → (q ^ ¬r)
Dado a la tabla de verdad podemos ver que la sentencia anterior es valida
