Lógica Proposicional

LÓGICA MATEMÁTICA Y DIGITAL

Instituto IACC
18 de abril de 2019
Desarrollo

La lógica proposicional, es la rama que estudia proposiciones, afirmaciones u oraciones dentro

de la lógica matemática, se derivan de esos procedimientos con métodos de vinculación mediante
conectores lógicos y las relaciones y propiedades.
Es útil como herramienta para razonar, pero no sirve para la resolución de problemas que
requieren el análisis de una estructura interna de las proposiciones o de las relaciones entre ellas. En
este tipo de lógica se consideran las proposiciones como elementos atómicos, no teniendo variables de
entidad o cuantificadores.
Siendo la más antigua y simple de las formas de lógica, la lógica proposicional utiliza una forma
primitiva del lenguaje, permitiéndolo representar y manipular las aserciones sobre lo que nos rodea.
Permite el razonamiento, que primero evalúa sentencias simples y después las mas complejas, a
través de un mecanismo formado mediante el uso de conectores proposicionales, tales como AND u OR.
Esto determina si una sentencia compleja es verdadera, analiza los valores asignados a las sentencias
simples que la conforman.

La lógica proposicional consiste en darle valor lógico o en encontrar el valor lógico que
representa una determinada sentencia o un conjunto de estas. Las proposiciones tanto en el lenguaje
natural como en sus formas matemáticas pueden ser enunciadas de manera afirmativas, es por ello que
existe el llamado operador unitario u operador particular no que permite darle un sentido negativo a
una proposición.
De igual manera que en el lenguaje común, las proposiciones pueden expresar enunciados más
complejos que una simple oración dando origen así a oraciones con mayor grupo de proposiciones
interconectadas, es por esta razón que existe en la lógica proposicional una serie de elementos
denominados operadores lógicos que brindan la forma de conectar o enlazar diversas proposiciones
entre sí y construir de tal manera una oración con un valor lógico calculable. (IACC, 2019).

En resumen, la lógica proposicional pertenece a una rama de la lógica clásica, estudiando las
variables proposicionales o sentencias lógicas, su alcance, estimación de la verdad y en contados casos
el nivel absoluto de la verdad. Algunos también la consideran como lógica matemática o lógica simbolice,
ya que utiliza una serie de símbolos que lo acercan al lenguaje matemático.
Lea atentamente el siguiente texto:

La universidad es una institución de nivel superior o una para educación básica, los profesores
son ingenieros y técnicos superiores, se sabe que los perros no pueden entrar a la universidad excepto
si llevan una correa, si logras llevar al perro entonces recuerda llevar los libros, si no llevas los libros
entonces aplazarás todas tus materias.

A partir de lo anterior:

1) Construya proposiciones simples y enúncielas con las letras minúsculas de la “p” en adelante (3
puntos)

p= La universidad es una institución de nivel superior o una para educación básica

q= los profesores son ingenieros y técnicos superiores
r= se sabe que los perros no pueden entrar a la universidad excepto si llevan una correa
s= si logras llevar al perro entonces recuerda llevar los libros
t= si no llevas los libros entonces aplazarás todas tus materias

2) Construya las fórmulas correspondientes al enunciado (3 puntos).

pVu
qΛp
r ¬u
s →r
t →u

3) Determine la tabla de verdad para dichas fórmulas (3 puntos).

p u pVu Q P qΛp
1 1 1 1 1 1
1 0 1 1 0 0
0 1 1 0 1 0
0 0 0 0 0 0
 p ¬u p u s →r
1 0 1 1 1
0 1 1 0 0
0 1 1
0 0 1

p u t →u
1 1 1
1 0 0
0 1 1
0 0 1

Bibliografía

(2019). Lógica proposicional (ed., Vol. Semana 2, pp.). Santiago, IACC.

(Sin fecha). ¿Qué es lógica proposicional?. gestiopolis. Obtenido 04, 2019, de

https://www.gestiopolis.com/que-es-logica-proposicional/

(Sin fecha). Lógica proposicional. wikiversity. Obtenido 04, 2019, de

https://es.wikiversity.org/wiki/L%C3%B3gica_proposicional

(Sin fecha). Lógica proposicional. Ecured. Obtenido 04, 2019, de

https://www.ecured.cu/L%C3%B3gica_proposicional