Analisis de Argumentos

Un argumento es un conjunto finito y ordenado de afirmaciones de las cuales se dice que la última, llamada conclusión , se sigue de las anteriores, llamadas premisas.
Un argumento es correcto si y solo si la conclusión es consecuencia lógica de las premisas; esto quiere decir que cada interpretación del lenguaje respecto a la cual todas las premisas son verdaderas, la conclusión será necesariamente verdadera. Un argumento es correcto o incorrecto, independientemente de sus interpretaciones. Dicho de otra manera, es correcto si no hay interpretación alguna para la cual las premisas sean todas verdaderas y la conclusión sea falsa. Esta es la definición que hace precisa la idea de razonamiento correcto dada al principio de este trabajo.
Ejemplo:
A) Argumento Correcto con Conclusión Verdadera
Todo múltiplo de 6 es múltiplo de 3
12 es múltiplo de 6 .:. 12 es múltiplo de 3
B) Argumento Incorrecto con Conclusión Verdadera
Todo número con exactamente dos divisores es primo
4 no tiene exactamente dos .:. 4 no es primo
C) Argumento Correcto con Conclusión Falsa
Todo múltiplo de cuatro es par
5 es múltiplo de 4 .:. 5 es par
D) Argumento Incorrecto con Conclusión Falsa
Todo múltiplo de 6 es par
8 no es múltiplo de 6 .:. 8 no es par