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.
Suscribirse a:
Enviar comentarios (Atom)
No hay comentarios:
Publicar un comentario