matematicas

3.1.1 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. Unargumento es correcto si y sólo si la conclusión es consecuencia lógica de las premisas; esto quiere decir que para cada interpretación del lenguaje respecto a la cual todas las premisas sonverdaderas, la conclusión será necesariamente verdadera.

Un argumento es correcto o incorrecto, independientemente de sus interpretaciones. Dicho de otra manera, es correcto si no hayinterpretación alguna para la cual las premisas sean todas verdaderas y la conclusión sea falsa. Una proposición es una oración que puede ser falso o verdadero pero no ambas a la vez. A continuación setienen algunos ejemplos de proposiciones válidas y no válidas Las proposiciones se indican por medio de una letra minúscula, dos puntos y la proposición propiamente dicha.


p: La tierra esplana.
q: -17 + 38 = 21
r: x > y-9
s: El Morelia será campeón en la presente temporada de Fut-Bol.
t: Hola ¿como estas?
w: Lava el coche por favor.
Los incisos p y q sabemos que puedentomar un valor de falso o verdadero; por lo tanto son proposiciones validas. El inciso r también es una proposición valida, aunque el valor de falso o verdadero depende del valor asignado a lasvariables x y y en determinado momento. La proposición del inciso s también esta perfectamente expresada aunque para decir si es falsa o verdadera se tendría que esperar a que terminara latemporada de fut-boll. Sin embargo los enunciados t y w no son válidos, ya que no pueden tomar un valor de falso o verdadero, uno de ellos es un saludo y el otro es una orden.
Ejercicio:
Completael siguiente enunciado y forma un Argumento
Jalil dice que todos los griegos Mienten
Jail miente si dice la verdad
________________________