Control 3

Jorge Olguín Leiva

Lógica Matemática y Digital

Instituto IACC

26/01/2019
.
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. p = soy inteligente B. 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. p = estudio lógica
q = aprendo lógica
r = soy inteligente
s = me gusta la lógica
(p ^ ¬ q)  (¬ r v ¬ s)
D. p = prestas dinero
q = vamos al cine
r = vamos al beisbol
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.
p q r s (p  q) ^ (r  s) p q r (p  q) ^ [(r  p)  q]
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
1 1 1 0 1 0 0 1 1 0 1 1 1 1 1
1 1 0 1 1 1 1 1 0 1 0 1 0 1 0
1 1 0 0 1 1 1 1 0 0 0 1 1 0 0
1 0 1 1 0 0 1 0 1 1 1 1 1 1 1
1 0 1 0 0 0 0 0 1 0 1 1 1 1 1
1 0 0 1 0 0 1 0 0 1 1 1 0 1 0
1 0 0 0 0 0 1 0 0 0 1 0 1 0 0
0 1 1 1 1 1 1
0 1 1 0 1 0 0
0 1 0 1 1 1 1
0 1 0 0 1 1 1
0 0 1 1 1 1 1
0 0 1 0 1 0 0
0 0 0 1 1 1 1
0 0 0 0 1 1 1

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

Link 1

Material entregado