Ir al foro del Consejo Comunal

Definiciones

Desde el punto de vista de la lógica simbólica, se considera una "proposición" a aquel enunciado que puede ser calificado como verdadero o falso. Ejemplo:
a.- Está lloviendo afuera
b.- Ojalá escampe pronto!!
c.- El aula está llena de alumnos
Obviamente, los ejemplos a y c pueden ser calificados como verdadero o falso, mientras que el ejemplo b no es susceptible de calificación alguna. En este caso, los ejemplos a y b satisfacen el criterio para ser consideradas "proposiciones".
Dos o mas proposiciones pueden ser combinadas par formar otra proposición más compleja.
Ej: "Afuera está lloviendo" y "el aula está llena de alumnos".
Esta combinación ha producido una nueva proposición, donde las dos proposiciones "afuera está lloviendo" y "el aula está llena de alumnos" se han unido por "y". En estos casos, se dice que cada una de las proposiciones es una "proposición simple" o "atómica", mientras que la proposición resultante de la combinación es una "proposición compuesta" o "molecular".

Las proposiciones compuestas o moleculares se forman combinando dos o mas proposiciones. Los elementos que "conectan" las proposiciones se denominan "conectivos lógicos". Comenzaremos por conocer dos conectivos: el "y", llamado AND en lenguajes de programación, el "o" llamado OR en los lenguajes de programación. Luego, otro ejemplo de proposición compuesta puede ser:
"Afuera está lloviendo" o "el aula está lena de alumnos"
Esta proposición compuesta o molecular se ha formado a partir de dos proposiciones simples "conectadas" por el "conector" "o".

INTRODUCCIÒN A LA LÓGICA SIMBÓLICA