Este documento introduce conceptos básicos de la lógica, incluyendo definiciones de argumentos, proposiciones lógicas y tipos de proposiciones. Explica que un argumento es un conjunto de premisas y una conclusión, y es válido si la conclusión es verdadera cuando las premisas también lo son. Además, describe que las proposiciones lógicas pueden ser verdaderas o falsas pero no ambas, mientras que las proposiciones abiertas contienen variables y se convierten en proposiciones lógicas al

1. 1.2 Conceptos de argumentos y tipos de proposiciones lógicasU1.- Lógica matemática

2. ArgumentosLos 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.

3. ArgumentosTodos los hombres son mortales.Sócrates es hombre.Por lo tanto: Sócrates es mortal.Todos lo árboles son verdes.Todos lo pericos son verdes.Por lo tanto: Todos los árboles son pericos.

4. ¿cómo saber si un razonamiento es válido?La lógica proporciona los métodos para saber si un argumento es correcto y poder obtener conclusiones.

5. ArgumentosUn 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 las premisas lo son.

6. En lógica proposicional 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 llama expresiones booleanas.

7. Tipos de proposiciones lógicas.Proposición lógica. Expresiones que pueden ser verdadera o falsa 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 una proposición lógica.Frases. Todas las expresiones que no cumplen alguna de los dos definiciones anteriores.Expresiones Booleanas. Proposiciones lógicas y proposiciones abiertas.

8. EjemploMéxico está en América. Proposición Lógica1 < 2 Proposición LógicaHoy es lunes Proposición Abiertax+3=5 Proposición AbiertaEcosistemas FraseBuenos días FraseEl 3 de abril de 1970 fuédomingo Proposición LógicaLos cocodrilos pueden volar Proposición LógicaLas matemáticas son agradables Proposición AbiertaEsta expresión es falsa Frase