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 D. 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.
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
, tautología
Fórmul Enunciado Lenguaje Equivalente
o
a natural lógico lógico
contradicció
n
 Si soy inteligente
entonces aprendo
A lógica y si estudio (p q) ^ (r  s) NO Contingencia
lógica entonces me
gusta la lógica.
Si aprendo lógica
entonces soy
inteligente, y si
B estudio lógica (p  q) ^ [(r  p)  q] NO Contingencia
entonces aprendo
lógica, por lo tanto,
soy inteligente.
Si estudio lógica y no
aprendo, entonces no
C (p ^ ¬ q)  (¬ r v ¬ s) NO Contingencia
soy inteligente o no
me gusta la lógica.
Si me prestas dinero,
D entonces vamos al p  (q v r) NO Contingencia
cine o al béisbol.

Bibliografía

Link 1

Material entregado