La lógica proposicional trata con sistemas lógicos que carecen de cuantificadores, o variables interpretables como entidades. En lógica proposicional si bien no hay signos para variables de tipo entidad, sí existen signos para variables proposicionales , de ahí el nombre proposicional.
•Una proposición es un enunciado declarativo que puede ser falso o verdadero, pero no ambos a la vez.
Ejemplos:
Los únicos enteros positivos que dividen a 7 son 1 y el propio 7. (verdadero) ✓
Una década tiene 10 años. (verdadera) ✓
La Tierra es plana. (falso) ✓
9 x 9 = 86. (falso) ✓
La Tierra es el único planeta en el Universo que tiene vida. (puede ser verdadera o falsa, pero no ambas) ✘
Compre dos boletos para ir al concierto de Shakira el viernes. (no es verdadera ni falsa) ✘
No hay comentarios.:
Publicar un comentario