I.E.S.
IBN AL-BAYTAR
Dto. de Filosofía
1º BAC.
LÓGICA PROPOSICIONAL
1. Simbolizar las siguientes expresiones:
El sol no es una estrella.
Pedro no es médico.
No ocurre que 2+2=5.
Todo lo que dices es falso.
No es verdad que todo lo que tú digas sea falso.
No es el caso que lo infinito esté limitado por algo.
La cuadratura del círculo es imposible.
Es imposible que no sea cierto lo que dices.
No es verdad que el sol no sea una estrella.
Estos problemas no son muy difíciles para mí, aunque he tardado en resolverlos.
Pasaba arrolladora en su hermosura y el paso le dejé.
Simónides juraba pero evitaba blasfemar.
No es cierto que me escuches y no hables.
Los tejados son de pizarra y las puertas de madera.
Ella tiene la luz, tiene el perfume, el color y la línea.
Me van bien los estudios pero no apruebo.
Cantaban, bailaban, jugaban y reían.
No es cierto que cantaran y bailaran.
No creo en lo que dices y, sin embargo, sigo confiando en ti.
Ni puedo prohibirlo ni puedo tolerarlo.
La riqueza ayuda a ser feliz, pero la cultura todavía más.
Llegó, vio y venció.
O cierras la puerta o pillaré un resfriado.
O te callas o no te escucho.
O no viene tu nombre en la guía o he olvidado el alfabeto.
Demostrar esta proposición sea por el método directo sea por el método indirecto.
Ya sea por el estudio, ya sea por la suerte, aprobará los exámenes.
Me entero de la situación política leyendo “El País” o “La Vanguardia”.
O estudias y trabajas o serás un desgraciado.
No es posible que o no queden macarrones en la despensa o que el supermercado no esté abierto
los domingos.
O se queda o se marcha: no es posible que se quede y se marche.
Y el muy maleducado, ya se rascaba una oreja, ya se rascaba el sobaco.
Si Juan pierde el autobús, llegará tarde.
5
Como me inviten, iré.
Si hoy no es lunes, mañana no será martes.
Hace frío, luego no es verano.
El hombre es un animal político, por tanto no es un salvaje.
Si no crees en Dios pero blasfemas, te estás contradiciendo.
Tú dedícate a la electrónica y verás como ganas dinero.
Siempre que empiezo a jugar no sé cuando acabaré.
Si eres licenciado, no es posible que no sepas leer ni escribir.
Un pueblo es democrático si y sólo si hay elecciones libres.
Podrás entrar en la comunidad sólo si comes jamón y no practicas el amor libre.
Un mineral es metal si y sólo si es un buen conductor de la electricidad.
La suma de los ángulos de un triángulo equivale a 180°.
Tener malos pensamientos equivale a practicarlos.
Únicamente los esquimales atolondrados cazan las focas a pedradas.
Sólo aplicando la racionalidad puede la vida tener sentido.
No es cierto que sólo aplicando la racionalidad pueda tener sentido la vida.
Si no es verdad lo que dices, entonces únicamente en el caso de que te retractes, te volveré a
dirigir la palabra.
2. Deduce la conclusión a partir de las premisas aplicando las reglas de transformación:
p ∧ ¬q Pr.1 p→q Pr.1 ¬( p ∧ q) Pr.1
q ∨ ¬r Pr.2 ¬p→r Pr.2 p ∨ ¬r Pr.2
s→r Pr.3 ¬(q∨r) Pr.3 r∧ ¬s Pr.3
├ ¬s ∧ p ├r ├ ¬q
(r→p) ∨ q Pr.1 p ∧ ¬r Pr.1 (s→q) ∧ ¬r Pr.1
¬p ∧ ¬q Pr.2 s→r Pr.2 (¬s → r) ∧(¬p→t)
Pr.2
├ ¬r ├ ¬s ├q∨t
p∨ (q∧ r) Pr.1 p∧q Pr.1 r∧ q Pr.1
¬( p ∨ q) Pr.2 ¬w→¬p Pr.2 r→p Pr.2
├q ├ ¬(¬p∨ ¬q) ∧ (w∨ t) ├p
3. Formaliza, deduce aplicando las reglas de transformación y realiza la tabla de verdad del
tercer enunciado:
No es el caso que no haya ogros amarillos o no existan unicornios trotones.
5
No existen unicornios trotones o no hay princesas encantadas.
Si hay ogros amarillos entonces hay princesas encantadas.
Luego, no hay ogros amarillos.
4. Haz las tablas de verdad:
(p ∧ q) → (q ∨ p)
[(p → q) ∧ p] → (p ∨ q)
5. Formaliza y deduce, aplicando las reglas de transformación:
Si el chocolate está espeso, entonces Pedro lo rechaza.
Pedro no lo rechaza y en Arroyo llueve.
Conclusión: El chocolate no está espeso o son las nueve de la noche.
Si Kant salía de paseo, entonces los vecinos ponían sus relojes en hora.
Los vecinos no ponían sus relojes en hora y Kant leía a Rousseau.
Conclusión: Kant no salía de paseo o los vecinos no tenían relojes.
O salgo de paseo o me quedo en casa. No voy al cine. Si salgo de paseo, voy al cine. Si me
quedo en casa, leo una novela. Luego leo una novela.
Si este número es impar, entonces no es divisible por 2. Si este número no es divisible por 2,
entonces este número es primo. Este número es impar. Luego, este número es primo.
No voy al cine o voy al fútbol. Si voy al fútbol, no me levanto tarde. Me levanto tarde.
Luego, no voy al cine o leo una novela.
Si Juan es licenciado, o está desempleado o está trabajando. Juan estudió, por tanto es
licenciado. También es verdad que además de estudiar ahora no trabaja. Luego Juan está en
el paro.
Andrés corre y Juan canta, o Antonio lee. Si Maruja pinta entonces Antonio no lee. Maruja
pinta. Luego Andrés corre.
6. Deduce la conclusión a partir de las premisas aplicando las reglas de transformación:
w∧s r→s ¬(¬p∨ ¬q) ∨ s
s → (p ∧ q) s→q r → ¬s
r→t (r ∨ s) ∧ p r∧w
¬t ¬q (p ∧ q) → t
├ q ∧ ¬r ├p∧s ├t
5
7. Simboliza las siguientes expresiones:
-No me gusta trasnochar ni madrugar.
-Tener la misma edad equivale a haber nacido en el mismo año.
-Si lees un libro tan bueno como Las amistades peligrosas, querrás saber más cosas de
Laclos, su autor.
-O bien te vas de vacaciones con tu hermana o bien te quedas en casa, pero si te vas de
vacaciones te lo pasarás mejor.
-Estuve atento durante todo su discurso, pero no entendí ni una palabra de lo que dijo.
-Cuando oigas lo que tengo que decirte, podrás comprobar por ti mismo si tengo o no
razón.
-Es imposible que sea cierto que Pedro haga las tareas cada día.
-Es imposible que no sea verdad que Pedro haga las tareas cada día.
-No es el caso que no estuvo allí.
-Ni estuve ni estaré.
-Cuando corro, me aumentan las pulsaciones.
-Estuve en el teatro, pero no lo vi.
-Si vienes te lo cuento.
-Si, y sólo si, me lo cuentas, te vienes.
-Aunque estuve en Arroyo, no fui a la playa.
-El libro se escribirá y se publicará si, y sólo si, no me limitas las páginas y me dejas
tranquilo.
-Siempre que escucho estoy participando.
-La nueva vacuna se podrá experimentar y distribuir si, y sólo si, retrasa el desarrollo de
la enfermedad y no produce efectos secundarios.
-Aunque me pagues al contado no te vendo el ordenador.
-Era grande, pero no me lo regaló.
8. Realiza las siguientes tablas de verdad:
[(p→q) ∧ p] → ¬p (p→q) ∧ ¬(p→q)
¬(p∧q) → (¬p∧¬q) [(p∨q) ∧ ¬q] → p
(p∧q) ∧ (¬p∧¬q) (p∨q) → (q∧¬q)
9. Formaliza y deduce:
Si hoy es lunes, mañana es martes. Mañana no es martes. Hoy es lunes o pasado mañana
es miércoles. Si pasado mañana es miércoles entonces mañana no es sábado. El último
día es domingo. Luego mañana no es sábado y el último día es domingo.
Si Dios no existe y todo está permitido, entonces vamos inexorablemente al caos. Ahora
bien, no vamos hacia el caos. Por otra parte, Dios no existe. Luego no todo está
permitido.
La existencia de Dios o es lógicamente imposible o es lógicamente necesaria. Si la
existencia de Dios es lógicamente imposible, el concepto de Dios es contradictorio. Pero
5
el concepto de Dios no es contradictorio. Luego la existencia de Dios es lógicamente
necesaria.
El universo o es finito o es infinito. Si el universo es finito entonces tiene límites
cognoscibles. Si el universo es infinito entonces es posible afirmar la existencia de un
demiurgo. No es posible afirmar la existencia de un demiurgo. Luego el universo tiene
límites cognoscibles.
10. Deduce:
p ∧ (z → t) Pr.1 (p→q) ∧ r Pr.1
t→z Pr.2 (¬s→p) ∧ (¬s→ ¬q) Pr.2
¬(z ↔ t) ∨ s Pr.3 ¬s Pr.3
├ r∨s ├ q∨s
¬p→q Pr.1 r→s Pr.1
p→r Pr.2 s→q Pr.2
q→s Pr.3 (r∨s) ∧p Pr.3
¬s Pr.4 ¬q Pr.4
├ r ├ p∧s
¬(¬p∧¬q) Pr.1 (p→ q) ∨ (r→s) Pr.1
p→r Pr.2 t ∨ ¬(r→s) Pr.2
¬r Pr.3 ¬(t∨q) Pr.3
├ q∨s ├ ¬p
(p∨t) → q Pr.1 p ∧ ¬t
s∨r Pr.2 s→t
r→ ¬q Pr.3 s∨q
¬t→u Pr.4 (q ∨ p) → r
¬s Pr.5 ├r
├ r∧u
