Argumento

Los argumentos son una de las formas más comunes en matemáticas, en lógica y en computación de establecer razonamientos para llegar a la verdad.
Podemos tener también situaciones como:
Todos loshombres son mortales.
Sócrates es hombre.
Por lo tanto: Sócrates es mortal.
Si lo comparamos con:
Todos lo árboles son verdes.
Todos lo pericos son verdes.
Por lo tanto: Todos los árboles sonpericos.
La pregunta importante es, ¿cómo saber si un razonamiento es válido? En general, la lógica proporciona los métodos para saber si un argumento es correcto y poder obtener conclusiones.
Unargumento es un conjunto de premisas, condiciones dadas, junto con una conclusión. Y decimos que un argumento es válido si la conclusión es verdadera siempre que las premisas lo son.
Uno de losprincipales propósitos de la lógica es por lo tanto encontrar la forma de poder saber si un argumento es válido o no. A esto le llamamos inferencia
Reglas de Inferencia.
Antes de poder decidir unargumento es válido o no, debemos de empezar por estudiar sus componentes, los elementos más simples que componen un argumento se llaman elementos atómicos.
Empezaremos por decir que en lógicaproposicional utilizaremos dos valores asociados llamados valores de verdad, que son verdadero (V) y falso (F), y en computación a las expresiones que se les asocia uno de estos dos valores se les llamaexpresiones booleanas.

Los enunciados o expresiones del lenguaje se pueden clasificar en: Proposiciones lógicas, Proposiciones abiertas y Frases o expresiones indeterminadas.
Proposición lógica.Expresiones que pueden ser verdaderos o falsos pero no ambas.
Proposición abierta. Una expresión que contiene una o más variables y al sustituir las variables por valores específicos se obtiene unaproposición lógica.
Frases. Todas las expresiones que no cumplen alguna de los dos definiciones anteriores.
Expresiones Booleanas. Proposiciones lógicas y proposiciones abiertas.
Ejemplo
i) México...