Lógica proposicional
La lógica proposicional es una parte de la lógica clásica que estudia las variables proposicionales, sus
posibles implicaciones, los valores de verdad de las proposiciones o de conjuntos de ellas formadas a partir
de los conectores lógicos. Permite validar o no las afirmaciones que se hacen en matemáticas o en otras
ramas del conocimiento. Es por esto que el estudio y comprensión de las estructuras que componen la
lógica y la forma como validan o no las proposiciones es fundamental en todas las ramas de las ciencias.
La lógica proposicional estudia las sentencias u oraciones del lenguaje corriente o formal, a las que se les
puede asignar un valor de verdad, esto es verdadero (V) o falso (F). Ej:
a. El sol sale por el oriente.
b. Juan, ¿tienes el computador?
c. Rosa es la niña más linda de la clase.
d. El Nacional ganará el próximo domingo.
e. Antioquia es un departamento de Panamá.
Resources: