Matesmaticas discretas.

Argumentacion matemática, Concepto de argumento y tipos de proposiciones lógicas

Los argumentos son una de las formas más comunes en matemáticas, en lógica y encomputación de establecer razonamientos para llegar a la verdad.

Podemos tener también situaciones como:

Todos los hombres 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 son pericos.

La pregunta importante es, ¿cómo saber si un razonamiento es válido? En general, lalógica proporciona los métodos para saber si un argumento es correcto y poder obtener conclusiones.

Un argumento 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 laspremisas lo son.

Uno de los principales propósitos de la lógica es por lo tanto encontrar la forma depoder saber si un argumento es válido o no. A esto le llamamos inferencia y está en la

Antes  de poder decir un argumento es valido a no , debemos de enpezar por estudiar sus componentes, los elementos mas  simples que componen un argumento se llaman elementos atomicos.

Espezaremos por decir que en lo logico proporsional ultilizamos dos valores asociados llamados valor de verdad, que son verdaderaos (v) y falsos (f) y en computacion a las expresiones que se les asocia uno de estas  dos valores se le llama expresion booleanas

Los enunciados o expresiones  de lenguaje se puede clsificar en :proposiciones logicas, proposiciones abiertas y frases o expresiones indeterminadas

 Proporsicion logica: expresiones que se pueden ser veraderas o falsas pero no ambas

Proposicion abierta: una expresion que contiene una o mas variables al sustituir las variables por valores especificos se obtiene un proposicion logica.

Frases: todas las expresiones que no cimplen alguna de las dos definiciones anteriores.

Expresiones booleanas: proposiciones logicas y proporsiciones abiertas

Ejemplo:

Mexico este en america               proposicion logica

1‹ 2                                                                      proposicion logica

Hoy es lunes                                                      proposicion abierta

X + 3= 5                                                              proposicion abierta

Ecosistema                                                        frase

...