Logica de Propocisiones

La lógica de propocisiones es la parte mas elementaal de lógica moderna o matematica, una proposición o enunciado es una oración que puede ser falsa o verdadera pero no ambas a la vez. La proposición es un elemento fundamental de la lógica matemática.

A continuación se tienen algunos ejemplos de proposiciones válidas y no válidas, y se explica el porqué algunos enunciados no son proposiciones. Las proposiciones se indican por medio de una letra minúscula, dos puntos y la proposición propiamente dicha. Ejemplo.

p: La tierra es plana.
q: x > y-9
r: El Morelia será campeón en la presente temporada de Fut-Bol.
s: Hola ¿como estas?
t: Lava el coche por favor.

Sabemos que p puede tomar un valor de falso o verdadero; por lo tanto es proposicion valida. El inciso q también es una proposición valida, aunque el valor de falso o verdadero depende del valor asignado a las variables x y y en determinado momento. La proposición del inciso r también esta perfectamente expresada aunque para decir si es falsa o verdadera se tendría que esperar a que terminara la temporada de fut-boll. Sin embargo los enunciados s y t 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.

0 Response to "Logica de Propocisiones"

Publicar un comentario

Powered by Blogger