Lógica Proposicional.

Oliver Alejandro Cerda Díaz

Lógica Matemática y digital

Instituto IACC

06-09-2021
 Desarrollo

El cálculo de proposiciones es una forma matemática que permite la obtención de resultados

lógicos de un conjunto de proposiciones que están siendo combinadas mediante el uso de

operadores lógicos. El proceso para obtener dichos resultados se lleva a cabo mediante la

organización de la expresión lógica o fórmula, agrupando los términos (utilizando símbolos de

agrupación) y posteriormente ir resolviendo, de acuerdo a la jerarquía de estos, sus diferentes

connotaciones lógicas, de esta manera es posible obtener así el valor lógico de una fórmula para

un conjunto de proposiciones y posibilidades.

Partiendo de lo anteriormente expuesto, el diseño de tablas de la verdad, cuando las fórmulas

incluyen muchas proposiciones, se hace cada vez más grande y complejo debido a que por cada

proposición extra se duplica la cantidad de combinaciones lógicas posibles entre sus valores de

verdad, es por ello que la lógica booleana permite la utilización de valores de verdad

determinados (estudiar un caso en particular) y mediante una gráfica o diagrama de árbol,

organizar en orden jerárquico las proposiciones y sus diferentes operadores lógicos. Todo esto

hace posible obtener un resultado lógico para una determinada combinación de valores de verdad

asignados, facilitando así el proceso, ya que no se debe diseñar una tabla de verdad completa.

Teniendo en cuenta la facilidad de lo anterior, esto puede aplicarse a un sinfín de fórmulas

lógicas o constantes para determinar un hecho de que a lo largo de la unidad se llevará a cabo,

que dos fórmulas sean equivalentes lógicos. Para conocer esto último se requiere evaluar las

fórmulas y conocer si ambos valores de verdad son iguales, de tal manera de poder concluir que

las fórmulas estudiadas son equivalentes lógicos una de la otra.

Teniendo en cuenta las siguientes proposiciones en lenguaje natural, es necesario construir su

contraparte en lenguaje simbólico:

a) Utilice los símbolos de agrupación necesarios según sea el caso.

A B
P= soy inteligente P= aprendo lógica
Q= aprendo lógica Q= soy inteligente
R= estudio lógica R= estudio lógica
S= me gusta la lógica
(PQ)^[(RP)Q]
(PQ) ^ (RS)

C D
P= estudio lógico P= prestas dinero
Q= aprendo lógica Q= vamos al cine
R= soy inteligente R= vamos al beisbol
S= me gusta la lógica P(Q v R)
(P^¬ Q)(¬R v ¬S)
b) Verifique si alguna de dichas fórmulas es equivalente lógico de otra, es decir, si dos de estas

fórmulas son lógicamente equivalentes.

A) B)

P QQ R R S (PQ)
(PQ ^^ (RS)
[(RP)  Q]

)
V V V V V V V

V V V F V F F
V V F V V V V

V V F F V V V
V F V V F F V

V F V F F F F
V F F V F F V

V F F F F F V
F V V V V V V
F V V F V F F
F V F V V V V

F V F F V V V
F F V V V V V
F F V F V F F
F F F V V V V

F F F F V V V

P
V V V V V V V V
V V F V V V V V
V F V F V F V F
V F F F V V F F
F V V V V V V V
F V F V V V V V
F F V V V F V F
F F F V V V F F
C)

P Q R S (P ^ ¬ Q)  (¬ R v ¬ S)
V V V V F V F
V V V F F V V
V V F V F V V
V V F F F V V
V F V V V F F
V F V F V V V
V F F V V V V
V F F F V V V
F V V V F V F
F V V F F V V
F V F V F V V
F V F F F V V
F F V V F V F
F F V F F V V
F F F V F V V
F F F F F V V

D)

P Q R P  (Q v R)

V V V V V V

V V F V V V
 V F V V V V

V F F V F F

F V V F V V

F V F F V V

F F V F V V

F F F F V F

c) Indique según el caso si dichas fórmulas son una contingencia, una tautología o una

contradicción de ser el caso.

Fórmula Enunciado natural Lenguaje Equivalente Contingencia,

lógico lógico tautología
o contradicción
A Si soy inteligente
entonces aprendo (PQ)^(RS) NO CONTINGENCIA
 lógica y si estudio
lógica entonces me
gusta la lógica.
B Si aprendo lógica
entonces soy
inteligente, y si
estudio (PQ)^[(RP)Q] NO CONTINGENCIA
lógica entonces
aprendo lógica, por lo
tanto, soy inteligente.
C Si estudio lógica y no
aprendo, entonces no
(P^¬ Q)(¬R v ¬S) NO CONTINGENCIA
soy inteligente o no
me gusta la lógica.
D Si me prestas dinero,
entonces vamos al P(Q v R) NO CONTINGENCIA
cine o al béisbol.

Bibliografía

IACC (2018). Cálculo proposicional. Lógica Matemática y Digital. Semana 3.