Universidad de Concepcion

Facultad de Ingeniera
Departamento de Ing. Inform
atica y Cs. de la Computacion

Solucion Tarea 1 Logica

Profesora: Mara Angelica Pinninghoff
Ayudante: Hans Villagran Vidal (hvillagran@udec.cl)
1. Formalice las siguientes sentencias usando proposiciones (1 pto. c/u).
a) No es cierto que la l
ogica sea dificil y la matematica sea facil.
F
ormula: (p q)

p: la l
ogica es difcil
q: la matem
atica es f
acil

b) Sin carbono, oxgeno, nitr

ogeno e hidrogeno, no hay vida.
c: hay carbono
o: hay oxgeno
n: hay nitr
ogeno
h: hay hidr
ogeno
v: hay vida

F
ormula: ((c o n h) v

c) El sistema funcionar
a normalmente cuando y solamente cuando el directorio de archivos
no este bloqueado.
s: el sistema funcionar
a
a: el directorio de archivos est
a bloqueado

F
ormula: s a

d ) Llorare a menos que no me apruebes.

F
ormula: a l

l: llorare
a: me apruebas

e) No creo en lo que dices, sin embargo sigo confiando en ti.

F
ormula: d c

d: creo en lo que me dices

c: confo en t

f ) Tendr
as una buena nota en el examen aunque no hagas todos los ejercicios.
n: tienes una buena nota en el examen
e: haces todos los ejercicios
0

F
ormula: n e

g) Cuando ocurra la fuga de los elefantes, el domador se quedara muy triste y los payasos o
los ni
nos romper
an el saxof
on a menos que los elefantes vuelvan. (2 puntos)
f : se fugan los elefantes
d: el domador est
a triste
p: los payasos rompen el saxof
on
n: los ni
nos rompen el saxof
on
v: los elefantes vuelven

F
orma 1: (f d) [v (p n)]
F
orma 2: (f [v d (p n)]

h) Dejare de beber si sube el precio del alcohol, pero no dejare de fumar en el caso que suba
el precio del tabaco o no. (2 puntos)
b: dejo de beber
a: sube el precio del alcohol
f : dejo de fumar
t: sube el precio del tabaco

F
ormula: (a b) ([t t] f )

i ) Carlos vendr
a a la fiesta siempre que David no lo haga, pero, si David viene, Bruno no
asistir
a.
c: Carlos viene a la fiesta
d: David viene a la fiesta
b: Bruno asiste a la fiesta

F
ormula: (d c) (d b)

j ) Si un extra
no cruza nuestras calles, ha de indicar que y cuantos fines persigue, y le daremos
con las puertas en las narices si descubrimos que miente, pero para que lo invitemos a cenar
es necesario que diga la verdad. (2 puntos)
e: un extra
no cruza las calles
q: indica que fines persigue
c: indica cu
ales fines persigue
n: le damos con las puertas en las narices
i: lo invitamos a cenar
v: dice la verdad

F
ormula: (e (qc))(v n)(v i)

2. Dadas las siguientes proposiciones, traduzca las siguientes formulas al lenguaje natural (espa
nol)
de forma apropiada. (3 ptos. c/u).
a) l: el Hombre Lobo es un invento
m: Pap
a Noel es un invento
n: los ni
nos son enga
nados
l (m n)
FORMA 1: El Hombre Lobo es un invento y si Papa Noel tambien lo es, los ni
nos son
enga
nados.
FORMA 2: El Hombre Lobo es un invento y los ni
nos son enga
nados si Papa Noel tambien
lo es.
b) p: obtengo un buen promedio en Logica
s: soy simp
atico
n: obtengo un 7 en la prueba
(s p) (n p)
NOTA: (s p) no es equivalente a s p
(s p) (s p) (s p)
FORMA 1: No es cierto que si soy simpatico, obtendre un buen promedio en logica, sin
embargo, lo obtendre cuando tenga un 7 en la prueba.
FORMA 2: Soy simp
atico, pero no obtendre un buen promedio en logica, sin embargo,
si me saco un 7 en la prueba es suficiente para obtener un buen promedio.
c) e: A Pacman lo atrapan sus enemigos
g: Pacman gana la partida
t: Pacman se sube al transportador
a: Pacman es atrapado
(e t) (g a)
FORMA 1: A Pacman lo atrapan sus enemigos y no se sube al transportador en el caso
que gane la partida, aunque sea atrapado.
FORMA 2: Para que Pacman gane la partida y sea atrapado es suficiente con que lo
atrapen sus enemigos o no se suba al transportador.
d ) p: Antonio se calla
q: Antonio se queda af
onico
r: Antonio puede hablar
s: el profesor puede dar clase
(q r) p s
FORMA 1: Para que el profesor pueda dar su clase es necesario que Antonio se quede
afonico y no pueda hablar o que el se calle.
FORMA 2: Antonio se queda afonico y no puede hablar, o cuando se queda callado; el
profesor puede dar su clase.

3. Determine la validez de los siguientes enunciados, traduciendolos al calculo proposcional y utilizando tablas de verdad. (10 ptos. c/u).
Esquema de Puntaje:
Indicar las variables proposicionales (1 pto.)
Indicar argumentos y conclusi
on (2 pts.)
Tabla de Verdad (5 pts.)
Justificaci
on e indicaci
on de la validez del razonamiento con cualquiera de los dos metodos
ense
nados (2 pts.)
a) Si Cuba no abandona el comunismo, EE.UU. no levantara el bloqueo. O Cuba no abandona
el comunismo, o encuentra aliados en Asia. Para que Cuba encuentre aliados en Asia la
economa cubana no tiene que mejorar. Por lo tanto, no es cierto que EE.UU. levante el
bloqueo o la economa de Cuba mejore.
Argumentos:
A1 : c b
A2 : c a
A3 : a e 1
C : (b e)

Variables Proposicionales:
c: Cuba abandona el comunismo
b: EE.UU. suspende el bloqueo
a: Cuba encuentra aliados en Asia
e: la economa cubana se recupera

Tabla de Verdad:
FORMA 1: Argumentos verdaderos implican conclusion |= C

c
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F

b
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F

a
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F

e
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F

A1
c b
V
V
V
V
V
V
V
V
F
F
F
F
V
V
V
V

A2
c a
V
V
F
F
V
V
F
F
V
V
V
V
V
V
V
V

A3
a e
F
V
V
V
F
V
V
V
F
V
V
V
F
V
V
V

C
(b e)
F
F
F
F
F
V
F
V
F
F
F
F
F
V
F
V

Justificaci
on: Se observa que en dos casos en que los argumentos son verdaderos, la
conclusi
on es falsa, por lo tanto, el razonamiento no es correcto.
1

F
ormula de acuerdo a la interpretaci
on de las PPT

FORMA 2: Implicaci
on de la Conjuci
on de argumentos C
Argumentos:
A1 : c b
A2 : c a
A3 : e a 2
C : (b e)

c
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F

b
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F

a
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F

e
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F

A1
c b
V
V
V
V
V
V
V
V
F
F
F
F
V
V
V
V

A2
c a
V
V
F
F
V
V
F
F
V
V
V
V
V
V
V
V

A3
e a
V
V
V
F
V
V
V
F
V
V
V
F
V
V
V
F

A
A1 A2 A3
V
V
F
F
V
V
F
F
F
F
F
F
V
V
V
F

C
(b e)
F
F
F
F
F
V
F
V
F
F
F
F
F
V
F
V

Implicacion
AC
F
F
V
V
F
V
V
V
V
V
V
V
F
V
F
V

Justificaci
on: Realizando la implicacion de la conjuncion de los argumentos, denotada
por A con la conclusi
on C, se tiene una contingencia, por lo cual el razonamiento no es
valido.

F
ormula de acuerdo a la interpretaci
on de causa-efecto

b) Que contin
ue la investigaci
on es suficiente para que surjan nuevas evidencias. Cuando
surjan nuevas evidencias, varios dirigentes se veran implicados. Varios dirigentes estan implicados s
olo si los medios de comunicacion dejan de hablar del caso. Si la continuaci
on de
la investigaci
on implica que los periodicos dejen de hablar del caso, entonces la investigacion contin
ua siempre que exista el surgimiento de nuevas evidencias. La investigacion no
contin
ua. Por tanto, no surgir
an nuevas evidencias.
Argumentos:
Variables Proposicionales:
A1 : i e
i: contin
ua la investigaci
on
A2 : e d
e: surgen nuevas evidencias
A3 : d m
d: los dirigentes se ven implicados
m: los medios de comunicaci
on dejan de ha- A4 : (i m) (e i)
A5 : i
blan del caso
C : e
Tabla de Verdad:

i
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F

e
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F

d
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F

m
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F

A1
ie
V
V
V
V
F
F
F
F
V
V
V
V
V
V
V
V

A2
ed
V
V
F
F
V
V
V
V
V
V
F
F
V
V
V
V

A3
dm
V
F
V
V
V
F
V
V
V
F
V
V
V
F
V
V

A4
(i m) (e i)
V
V
V
V
V
V
V
V
F
F
F
F
V
V
V
V

A5
i
F
F
F
F
F
F
F
F
V
V
V
V
V
V
V
V

C
e
F
F
F
F
V
V
V
V
F
F
F
F
V
V
V
V

A
A1 . . . A5
F
F
F
F
F
F
F
F
F
F
F
F
V
F
V
V

Implicacion
AC
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V

Justificaci
on: En lo resaltado en verde podemos ver que existen tres casos en que los
argumentos son verdaderos y la conclusion es verdadera tambien. Realizando la implicaci
on
de la conjunci
on de los argumentos, denotada por A con la conclusion C, se tiene una
tautologa. De cualquiera de estos dos metodos tenemos que el razonamiento es correcto.

4. Se han encontrado tres cofres en una playa. Uno de ellos contiene un tesoro y los otros dos est
an
vacos. Cada cofre tiene una inscripcion en su parte frontal con una pista de lo que contiene.
Los mensajes de los cofres son los siguientes:
Cofre 1: El tesoro no est
a ac
a.
Cofre 2: El tesoro no est
a ac
a.
Cofre 3: El tesoro est
a en el cofre 2.
Ademas se sabe que solo uno de los mensajes es verdadero, los demas son falsos.
En qu
e cofre se encuentra el tesoro? Encontrar la respuesta a traves de una tabla de
verdad. (15 pts.)
Soluci
on:
Variables Proposicionales:
C1 : el tesoro est
a en el cofre 1
C2 : el tesoro est
a en el cofre 2
C3 : el tesoro est
a en el cofre 3
FORMA 1:
De acuerdo a los mensajes de los cofres tenemos las siguientes formulas:
Cofre 1: p : C1

Cofre 2: q : C2

Cofre 3: r : C2

La tabla de verdad de estas variables es la siguiente:

A
B
C

p
V
V
V
V
F
F
F
F

q
V
V
F
F
V
V
F
F

r
V
F
V
F
V
F
V
F

Marque con A, B y C las filas de la tabla que cumplen la condicion que solo un cofre dice la
verdad y los dem
as mienten.
Para A, tenemos un mensaje contradictorio, ya que por ello sabemos que los mensajes de los
cofres 2 y 3 son falsos, es decir, que el tesoro esta y no esta a la vez en el cofre 2; por lo que este
caso no nos proporciona informaci
on sobre el tesoro.
En B, no hay problema con las valuaciones de verdad de las proposiciones indicadas, siendo el
mensaje del cofre 1 falso, entonces el tesoro esta en el cofre 1 y de acuerdo a los mensajes de los
cofres 2 y 3, el tesoro no est
a en el cofre 2.
El caso C, nos indica que el tesoro esta en dos cofres, el cofre 1, por ser falso su mensaje y en el
cofre 2, por ser verdadero el mensaje del cofre 3, por lo que se contradice con lo que sabemos,
que el tesoro est
a en un solo cofre y los demas estan vacos.
Por lo tanto, el tesoro se encuentra en el cofre 1.

FORMA 2:
Argumentos:
Primero sabemos que solo un cofre contiene el tesoro y los demas estan vacos. Eso se
formaliza de la siguiente forma:
(C1 C2 C3 ) (C1 C2 C3 ) (C1 C2 C3 )

(1)

Adem
as, respecto a los mensajes, la situacion es similar, solo uno es verdadero, los dem
as
falsos. La formalizaci
on es de la misma manera:
(C1 C2 C2 ) (C1 C2 C2 ) (C1 C2 C2 )

(2)

Ordenando la f
ormula anterior queda:
(C1 C2 C2 ) (C1 C2 ) (C1 C2 )

(3)

El primer parentesis de esta f

ormula es falsa (C2 C2 ) por lo que esta formula resulta en:
(C1 C2 ) (C1 C2 )

(4)

Con las f
ormulas (1) y (4) tenemos los argumentos para construir la tabla de verdad.
Tabla de Verdad:

C1
V
V
V
V
F
F
F
F

C2
V
V
F
F
V
V
F
F

C3
V
F
V
F
V
F
V
F

(1)
F
F
F
V
F
V
V
F

(4)
V
V
V
V
F
F
F
F

De esta tabla, nos centramos donde los dos argumentos sean verdaderos y vemos las valuaciones
de verdad de las proposiciones. En este caso, solo ocurre una vez, por lo que las valuaciones son:
v(C1 ) = V, v(C2 ) = F, v(C3 ) = F
De lo cual tenemos que el tesoro esta en el cofre 1.