Matemáticas/Lógica/Proposiciones
Empezamos nuestro estudio de la lógica con elementos básicos llamados proposiciones .
Objetivos
- Entender lo que es una proposición
- Diferenciar una proposición de otras definiciones
Enunciados y valor de verdad
[editar]Una proposición es un enunciado y oración declarativa de la cual se puede afirmar que es falsa o verdadera, pero no ambas cosas a la vez.
La veracidad o falsedad de una proposición es lo que se llama su valor de verdad
Axiomas y Teoremas
[editar]Un axioma o postulado es una proposición inicial la cual se asume como verdadera. El conjunto de postulados de los cuales se desprenden las demás proposiciones de un sistema se llama conjunto de postulados del sistema. En éste, uno de los axiomas no debe ser deducible de otros.
Ejemplos
- Uno de los postulados de la geometría euclidiana es el postulado de la recta: Dados dos puntos distintos cualesquiera, hay exactamente una recta que los contiene. Este postulado es parte de un conjunto de postulados del sistema que formula la geometría de Euclides.
- En geometría, en el sistema euclidiano, se acepta el siguiente postulado: Dos rectas no pueden cortarse en más de un punto
Un teorema es cualquier proposición que se desprende de otra proposición o proposiciones dadas por supuestas o previamente demostradas dentro del sistema. Así, un teorema es una proposición cuya veracidad requiere ser demostrada a partir de otras.
Ejemplo
El teorema del triángulo isósceles asevera que: Si dos lados de un triángulo son congruentes, entonces los ángulos opuestos a estos lados son congruentes
Ejercicios propuestos de Proposiciones
- Pasar al siguiente tema: Conectivos Lógicos y Tablas de Verdad