Cálculo proposicional

Pedro Frez Torres

Lógica Matemática y Digital

Instituto IACC

15-11-2020
 Desarrollo

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.- Si soy inteligente entonces aprendo lógica y si estudio lógica entonces me

gusta la lógica.
p Soy inteligente
q Aprendo lógica
r Estudio lógico
s Me gusta la lógica
Su formula es (p q) ^ (r s)

B.- Si aprendo lógica entonces soy inteligente, y si estudio lógica entonces

aprendo lógica, por lo tanto, soy inteligente.
p Aprendo lógica
q Soy inteligente
r Estudio lógico
Su formula es [(p q) ^ (r p)] q

C.- Si estudio lógica y no aprendo, entonces no soy inteligente o no me gusta la

lógica.
p Estudio lógico
q Aprendo
r Soy inteligente
s Me gusta la lógica
Su formula es (p ^ ¬ q) (¬ r v ¬ s)

D.- Si me prestas dinero, entonces vamos al cine o al beisbol.

p Me prestas dinero
q Vamos al cine
r Al beisbol
Su formula es p (q v r)

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:
s)
p q r s (p q) ^ (r
1 1 1 1 1 1 1 1 1 1 1
1 1 1 0 1 1 1 0 1 0 0
1 1 0 1 1 1 1 1 0 1 1
1 1 0 0 1 1 1 1 0 1 0
1 0 1 1 1 0 0 0 1 1 1
1 0 1 0 1 0 0 0 1 0 0
1 0 0 1 1 0 0 0 0 1 1
1 0 0 0 1 0 0 0 0 1 0
0 1 1 1 0 1 1 1 1 1 1
0 1 1 0 0 1 1 0 1 0 0
0 1 0 1 0 1 1 1 0 1 1
0 1 0 0 0 1 1 1 0 1 0
0 0 1 1 0 0 0 1 1 1 1
0 0 1 0 0 0 0 0 1 0 0
0 0 0 1 0 0 0 1 0 1 1
0 0 0 0 0 0 0 1 0 1 0

B:

p q r [(p q) ^ (r p)] q
1 1 1 1 1 1 1 1 1 1 1 1
1 1 0 1 1 1 1 0 1 1 1 1
1 0 1 1 0 0 0 1 1 1 1 0
1 0 0 1 0 0 0 0 1 1 1 0
1 1 1 0 1 1 1 1 0 0 1 1
1 1 0 0 1 1 1 0 0 0 1 1
1 0 1 0 1 0 0 1 0 0 1 0
1 0 0 0 1 0 0 0 0 0 0 0

C:
p q r s (p ^ ¬ q) (¬ r v ¬ s)
1 1 1 1 1 0 0 1 0 0 1
1 1 1 0 1 0 0 1 0 1 0
1 1 0 1 1 0 0 1 1 1 1
1 1 0 0 1 0 0 1 1 1 0
 1 0 1 1 1 1 1 0 0 0 1
1 0 1 0 1 1 1 1 0 1 0
1 0 0 1 1 1 1 1 1 1 1
1 0 0 0 1 1 1 1 1 1 0
0 1 1 1 0 0 0 1 0 0 1
0 1 1 0 0 0 0 1 0 1 0
0 1 0 1 0 0 0 1 1 1 1
0 1 0 0 0 0 0 1 1 1 0
0 0 1 1 0 0 1 1 0 0 1
0 0 1 0 0 0 1 1 0 1 0
0 0 0 1 0 0 1 1 1 1 1
0 0 0 0 0 0 1 1 1 1 0

D:
p q r p (q v r)
1 1 1 1 1 1 1 1
1 1 0 1 1 1 1 0
1 0 1 1 1 0 1 1
1 0 0 1 0 0 0 0
0 1 1 0 1 1 1 1
0 1 0 0 1 1 1 0
0 0 1 0 1 0 1 1
0 0 0 0 1 0 0 0

c.- Indique según el caso si dichas formulas son una contingencia, una
tautología o una contradicción de ser el caso.
Fórmula Enunciado Lenguaje lógico Equivalente Contingencia,
natural lógico tautología o
contradicción
A Si soy inteligente (p q) ^ (r s)
entonces aprendo
lógica y si estudio
NO Contingencia
lógica entonces
me gusta la
lógica.
 B Si aprendo lógica [(p q) ^ (r P)] q
entonces soy
inteligente, y si
estudio lógica
NO Contingencia
entonces aprendo
lógica, por lo
tanto, soy
inteligente.
C Si estudio lógica y (p ^ ¬ q) (¬ r v ¬ s)
no aprendo,
entonces no soy
NO Contingencia
inteligente o no
me gusta la
lógica.
D Si me prestas p (q v r)
dinero, entonces
NO Contingencia
vamos al cine o al
beisbol.

Bibliografía

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

https://www.youtube.com/watch?v=7T2zOAG8NH0&feature=emb_logo

https://www.youtube.com/watch?v=xwQt2RVYH2U&feature=emb_logo

https://www.youtube.com/watch?v=P1FW7lxAftM