La lógica matemática o lógica simbólica es un lenguaje matemático que abarca las herramientas necesarias por medio de las cuales se puede afirmar o negar un razonamiento matemático.
La lógica matemática inicia con el estudio de las proposiciones. Una proposición es una afirmación que sin ningún tipo de ambigüedad se puede decir si es verdadera o no.
Los siguientes son ejemplos de proposiciones:
- 2+4=6.
- 52=35.
- En el año 1930 hubo un terremoto en Europa.
La primera es una proposición verdadera y la segunda es una proposición falsa. La tercera, aun cuando es posible que la persona que la lee no sepa si es verdadera o inmediatamente, es una afirmación que se puede comprobar y determinar si realmente ocurrió o no.
No hay comentarios.:
Publicar un comentario