LGICA (FIL105) SEMESTRE 2015.

2
Instructor Jaime Vera (jveraa@pucp.edu.pe)
PRCTICA ADICIONAL
1. Determina si las siguientes expresiones de lenguaje son proposicionales o no, tal como las hemos
definido en este curso:
(1) Si es cierto que las agendas encontradas son de Nadine Heredia, entonces ser cierto
tambin que ella ha mentido al respecto.
(2) En 1537, el cerco del Cuzco realizado por el inca Manco II contra los espaoles.
(3) Con mucho cuidado, sin emitir ruidos innecesarios, abre la puerta y sal de tu casa sin
que tus padres lo noten.
(4) Pap Noel es el secretario general de las Naciones Unidas.
(5) El nmero de estrellas del universo es par.
(6) O bien es cierto que los chanchos vuelan o bien es cierto que si no vuelan entonces
1+2=5
(7) El verso cuya versin no metafrica es ms claramente reconocible en la cancin
titulada Cardo o ceniza es se quebrar mi voz cuando se apague dijo el profesor
Fred Rohnner.
(8) Si Pedro es socilogo, entonces es cierto tambin que es falso que Pedro sea socilogo.
(9) 1+2=5 es una falsedad necesaria.
(10) Ayer, Marisol vio a Ral con un telescopio casero.
2. Determina si las siguientes oraciones proposicionales las consideramos simples (S) o compuestas
(C) en este curso:
(11) Pablo Villanueva tiene un comercial de televisin en que dice no vayan.
(12) Ni san Pedro ni san Pablo murieron de muerte natural
(13) Si es cierto que las agendas encontradas son de Nadine Heredia, entonces ser cierto
tambin que ella ha mentido al respecto.
(14) Juan cree que Manco II no cerc militarmente el Cuzco en 1537.
(15) Pedro no cree que Manco II no cerc militarmente el Cuzco en 1537.
(16) Pedro y Ral se casaron anoche.
(17) De ser cierto que la vida es bella, cada ser humano tiene fija una fecha para su juicio
final. De todo lo anterior, o es cierto que cada ser humano tiene sealada una fecha
para su juicio final o es cierto a la vez que Heidegger no era filsofo y que la vida no
es bella.
(18) Aunque inteligente, Carlos Roca es aprista.
(19) Mara sabe que si es cierto que los chanchos vuelan entonces tambin ser cierto que
1+2=5.
(20) Es cierto que es el caso que es verdad que es cierto que es verdad que es el caso que
es cierto que 1+2=5 es una falsedad necesaria.
3. Sintaxis de LP: Determina si las siguientes secuencias de smbolos son frmulas bien formadas (fbfs)
o no en lgica proposicional (LP). De ser fbf, indica adems el operador principal.
(21)
(p ~r s) (t (~t ~t))
(22)
t w (s t) p p p p p (s t)
(23)
~~~~~~~~(p q ~q : : ~p)
(24)
[p p (p q ~q : ~p)] [p q ~q : ~p]
(25)
p ~p
(26)
~ q ~q
4. Ofrece tres fbfs distintas que cumplan con los siguientes esquemas de frmula:
(27)
A ~A
(28)
(A B) (C D)
(29)
A B A : : C
5. Dados los siguientes datos:
b1

p es verdadera
q es falsa
r es verdadera
s es verdadera
t es verdadera
Determina el valor de verdad de las siguientes fbf:
(30)
p (r (s (t q)))
(31)
t w (s t) p p p p p (s t)
6. Decide, mediante el mtodo de las tablas de verdad, si las siguientes fbfs son, en cada caso,
tautolgicas (dan V en todas las lneas), contradictorias (dan F para todas las lneas) o contingentes
(dan por lo menos un V y un F).
(32)
((p ~q) q) ~p
p
q
((p

~
q)

q)

~
p

(33)

((p ~r) q) ~~r

p
q
r
((p

r)

q)

7. Dados los siguientes diagramas semnticos, interpreta cada diagrama y determina (i) la tabla de
verdad de la fbf y (ii) si la frmula en cuestin es tautolgica, contradictoria o contingente. (Ejemplos
tomados de Rosales & Trelles, 2002)

(34)

b2

(35)
8. Resuelve mediante el mtodo de los rboles semnticos; determina si la fbf en cuestin es
tautolgica, contradictoria o contingente; y ofrece la tabla de verdad de cada frmula. (Ejercicios
tomados de Rosales, 1994: 67-68)
(36)
(p q) (~p q)
(37)
[(p q) (r q)] (p r)
(38)
~(p ~q) (~r s) ~(r t) (q s)
(39)
(~p q) (~q p)
(40)
[(p ~q) p] (q ~q)
(41)
(p ~q) (r ~p) (~q ~p)
(42)
[(p q) ~r] [r ~(q ~p)]
(43)
(p q) ~p
(44)
(~p q) (~r ~q)
(45)
(p ~q) (~r ~p) (r q)
9. EJERCICIOS DEL MATERIAL GENERAL
10. Simboliza en LP los textos (11-20).
11. Simboliza en LP:
(46) O los soldados van a la guerra o se rinden incondicionalmente
(47) Hitler y Mussolini fueron los representantes del fascismo en Europa.
(48) Juan Carlos I de Espaa se cas con Sofa en 1962.
(49) La capital del Per no es la ciudad con mayor poblacin de Amrica del Sur.
(50) Si el rey no actuase rpido, la victoria se perdera.
(51) Si ocurre que salga el sol o que llueva, las competencias deportivas sern exitosas.
(52) Ubicado en la Cordillera Blanca del departamento de ncash, el Huascarn es el pico ms alto
del Per.
(53) Si es cierto que Mara tiene 25 aos nicamente en el caso de que haya nacido en Tarapoto y
no en Lima, entonces sera verdad que Mara no tiene 25 aos si y slo si naci en Lima.
(54) O es verdad que el Per se ha convertido en la nueva potencia econmica de Sudamrica y el
Per no tiene ningn riesgo de padecer una recesin, o es verdad que el Per padece una gran
vulnerabilidad econmica slo en el caso de que el aparato productivo no se haya
diversificado, pero no ambas cosas a la vez.
(55) Aunque nunca regreses; siempre te amar si es que no encuentro a alguien mejor.

b3