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

Buenas dias                                                       frase

1. Los argumentos son una de las formas mas comunes en matematicas en logica y en computacion de establecer razonamiento para llegar a la verdad.
2. Si tenemos un conectivo logico OR de dos valores de entrada y despues un inverso cual es la salida o si en un rpgrama con una instriccion tipo if se tiene la condicion x› 3 and x‹ 10 como se sabe si se ejecuta el comando.

Proposicion : es una oracion con valor referencial o informativo de la cual se puede predicar su verda o falsedad, es decir que puede ser falsa o verdadera pero no ambas a la vez

Las proposiciones es la expresion lingüística del razonamiento que se carracteriza para ser verdadera p falsa empiricamente, sin ambigüedades

[pic 1]

[pic 2][pic 3]

      PROPOSICION

[pic 4][pic 5]

[pic 6]

TIPOS DE PROPOSICIONES

Son aquellas que no tiene oracines componentes afectadas por negaciones (“no”) o terminos de enlace como conjugaciones (“y”),disyunciones (“O”) o implicaciones(“SI”………ENTONCES”).

...