miércoles, 2 de diciembre de 2009

Una proposición lógica es una expresión que puede ser falsa o verdadera pero no ambas a la vez. Si una expresión que contiene variable(s) y al sustituir las variables obtenemos una proposición lógica, se llama proposición abierta.

Ejemplos:

p: La tierra es redonda.

q: −17 + 38 = 15

r: x > y+5

s: El Atlas será campeón en la presente temporada de Fut-Bol.

t: Hola ¿como estas?

w: Lava el coche por favor.

Las expresiones p y q son proposiciones lógicas, mientras que las proposiciones r y s son proposiciones abiertas, las expresiones t y w no son proposiciones el primero es un saludo y el segundo una orden, se llaman expresiones indeterminadas o frases.

Es muy importante en el área de matemáticas conocer los deferentes tipos de inferencia y sobretodo saber los modelos para hacer una demostración formal, ver los temas 3.3 Inferencia y 3.4 Deducción. Pero también es importante que el alumno se acostumbre a ejercitar el razonamiento y el uso de la lógica por lo que se presentan algunos casos que pueden ser de mucha utilidad.

No hay comentarios:

Publicar un comentario