Documentos de Académico
Documentos de Profesional
Documentos de Cultura
1. EJERCICIOS DE FORMALIZACIÓN.
8. ADININANZAS LÓGICAS.
9. EXÁMENES.
Bibliografía básica
Alfredo Deaño
Introducción a la lógica formal.
Alianza Universidad Textos
Manuel Garrido
Lógica simbólica
Tecnos
Anthony Weston
Las claves de la argumentación.
Ariel
Raymond Smullyan
¿Cómo se llama este libro?
Cátedra
(El hidróxido de aluminio es maleable (p) ) y (si tiene igual peso que el cobre
(q), entonces es mejor conductor de la electricidad que éste r) )
El hombre es moral: p
Determinado unívocamente...:q
Cabe exigirle cuenta...:r
11) La persona humana tiene creencias sobre multitud de cosas, pero tal multitud no
forma un caos, sino que está organizado psicológicamente.
1) ( p q ) q
2) ( p v p ) ( q q )
3) ( p q ) q p
4) ( p p ) r
5) ( p q ) ( q v r )
6) ( p q ) ( q p )
7) ( p v q ) ( p q )
8) ( p q ) v ( p r ) ( p q r ) ( p q r )
9) ( p q ) r ( p v q r ) v ( q r )
10) ( q r p ) ( r v s p v q )
11) p ( q r ) ( t t ) ( s v q ) ( p v s)
12) ( p q ) p ( q v r ) ( q r )
13) ( p q ) ( p q ) ( p q )
14) ( p q ) v r r ( p q )
15) ( p q r ) ( r s ) ( r s ) ( p q r )
16) ( p q ) ( q r ) ( p r )
17) ( p r ) ( q s ) ( p q r s )
1) ( p q q q
2) ( p q ) ( p v r) q
3) ( p q ) ( q v r ) q ( r p )
4) ( p q ) ( q v r ) q
5) ( p q ) v r r ( p q)
6) ( p q ) ( q r ) ( p r )
7) ( p r ) ( q s ) ( p q r s )
8) p ( q v r ) ( q r ) ( p r )
9) p ( r p) r v s t ( t r) p
10) p ( q r ) ( r s t ) ( s t ) p
11) ( p q r ) ( r s ) ( r s ) ( p q r )
1) –1 pq
-2 r s ├ pr s
2) -1 prst
a. 2 p v s
b. 3 r s ├ r svt
3) - 1pq
- 2q ├ p
4) -1 prst
-2 p s
-3 r s ├ r st
5) -1 q
-2 p v q t ├ tvs
6) -1 p q
-2 p ├p q
7) -1 p v q
-2 p c
-3 q c ├ p qc
8) -1 p q r
-2 r s ├ pq s
9) -1pq
-2pr ├ rvs
10) -1 p ( p q s)
-2 q ├ s
11) -1 p q
-2 r
-3 p r s ├ s
12) -1 (p q) r
-2 s t
-3 r s ├ qvt
13) -1 p q
-2 q r
-3 s t
-4svp ├ rvt
14) -1 p ( q r) ├ q (p r)
2) Si la noche es clara, Drácula agitará sus alas y afilará sus dientes. Si agita sus
alas y encuentra mi ventana abierta, pasará, me despertará, pero le daré un fuerte
tirón de orejas. Si afila sus dientes y la encuentra cerrada, montará en cólera,
romperá los cristales y le daré un fuerte tirón de orejas. Así pues, si la noche es
clara y Drácula encuentra la ventana abierta o cerrada, le daré un fuerte tirón de
orejas.
La noche es clara......p
Drácula agitará sus alas......q
Afilará sus dientes......r
Encuentra mi ventana abierta......s
La encuentra cerrada (no abierta)...... s
Pasará......t
Me despertará......w
Le daré un tirón de orejas......m
Montará en cólera......n
Romperá los cristales......k
5) Si las autoridades prohíben fumar en pipa a los feos, entonces los guapos se
alzarán indignados porque no venden pipas. Si los guapos no venden pipas o las
autoridades crean nuevos puestos de trabajo, entonces la nación no saldrá de la
crisis económica. La nación sale de la crisis económica y los guapos no venden
pipas. Por lo tanto, las autoridades no prohibirán fumar en pipa a los feos.
6) Si los filósofos callasen, la nieve quemaría y los círculos serían cuadrados. Si los
círculos fuesen cuadrados, entonces los matemáticos se dedicarían a cazar brujas
y las abejas a fabricar acero. Ni los matemáticos se dedican a cazar brujas, ni las
abejas a fabricar acero. Por tanto, los filósofos no callarán.
52) -1 p ^ [ q → (p → s)]
-2 p → q ^ r ├p→s
53) -1 p→q
-2 qvr→s
-3 s → (t → m)
-4 p^¬¬ t ├m
54) -1 p → [ q → r ^ (s v t)]
-2 p ^ (s → m)
-3 q ^ ( t → h ^ n) ├mvh
55) -1 ( p ^ q) → (r ^ s)
-2 s → (q ^ t)
-3 s ^ t ├ p → (q ^ r)
56) -1 q → s
-2 r → s ^ t ├ p → ( q v r → s)
57) -1 ¬ p → q
-2 ¬ p → ¬ q ^ s ├p
58) -1 p v ( q ^ r)
-2 t v q → ¬ (p → t) ├ ¬ (p → t)
60) -1 p ^ q → ( r → s)
-2 ¬ s ^ r ├p→¬q
61) -1 p → q v r
-2 q → r
-3 r → s ├p→s
62) -1 p → ¬ t ^ s
-2 s v r → t ├¬p
63) -1 ├ ¬ q → ¬ ( p ^ q)
64) –1 t→pvq
-2 p→m^s
-3 q→¬m
-4 s v ¬ m → ¬ (p v q) ├ ¬t
65) -1 t → p v q
-2 p → n ^ s
-3 q → ¬ n ├t→sv¬n
67) -1 p→mvt
-2 m→r
-3 t→r^s
-4 q→ t^ r ├pvq→r
68) –1 p → q
-2 m → r v s
-3 r → ¬ q
-4 s → ¬ q ^ t ├ ¬ (p ^ m)
69) ├ ( p → q) ^ ( q → r) → ( p → r)
70) ├ (p → q) → (p ^ r → q ^ r)
71) –1 p v ¬ q → r v m
-2 (r → t v s) ^ ( n → s)
-2 m ^ ¬ r → n ├ ¬ p → [¬ (q v r) → s v t]
72) ├ (p → q) → [ (p → r) → (p → q ^ r)]
73) –1 p → q ^ r
-2 ¬ p → ¬ s
-3 ¬ s → r ├r
74) –1 (p ^ q → t) ^ ¬ ( t v n)
-2 r v s → t ^ m ├ p → ( q v r → s)
75) ├ (p → r) → [ (q → r) → ( p v q → r)]
76) –1 (p → s) ^ (q → t)
-2 ( s v t → m) ^ (r v n → ¬ m) ├pvq→¬r
(p^q)→r
p
_____________
q→r
p→q
r v s
s→¬q
¬r
_____________
¬p
p→q
r →p
¬r→¬t
¬ ( s ^ ¬ r)
tvs
________________
q v u
r→s
p vq
¬ ( ¬ p → s)
______________
q ^¬r
p→ (q → r)
q
___________
p→ r
p ↔ (q v r)
p → s
q
_____________
s
s↔t
tvp
s→¬w
w
________
p
11. Demostrar la validez del esquema anterior por medio de la reducción al absurdo.
(p^q)→r
( r ^ s) → t
______________
(p ^ q ^ s) → t
p → (q → r)
____________
q → (p → r)
p → (p → q)
_____________
p→q
¬p→p
__________
p
A efectos de formalización hemos dado por idénticos el enunciado “lo uno existe
(como tal uno)” y el enunciado “lo uno es uno”, esquematizando ambos por “p”.
(q v ¬ s) → t
¬q→r
p→¬s
t→s
____________
p→r
(p v q) → (r ^ s)
¬(¬pv¬r)
¬ t → ¬ ( p ^ s)
_______________
t
s →q
___________________________
[p → (q → r) ] → [ p → (s → r)]
23. Derivar “q” a partir de “p ^ ¬ p”.
p → [ ( q → r) → s]
__________________
(q → r) → (p → s)
p ( q t u)
p
rq
rt
ur
__________
rvs
pq
qr
st
svp
_________
rvt
(p v q) r
_______________
(p r) v ( q r)
rs
pv q
( p s)
pq
_________
q r
(pq)r
st
rs
_______________
qvt
pq
( q v r)
p v s
_________
svt
pq
rvp
____________
p ( q r)
( p q) r
rs
q s
____________
p
39. Demostrar la validez de la expresión anterior por el método de reducción al
absurdo.
(p q) (r v s)
( t p)
t
t q
______________
rs
pvq
rp
sr
ts
rq
_____________
t
(p q r) s
t
(s t) u
p (u w)
w
_______________
(p r) q
8. ADIVINANZAS LÓGICAS
Hay una amplia variedad de adivinanzas relativas a una isla en la que ciertos habitantes
llamados “caballeros” dicen siempre la verdad, y otros llamados “escuderos” mienten
siempre. Se supone que todo habitante de la isla es o caballero o escudero.
26. Según este viejo problema, tres de los habitantes –A, B, C- se encontraban en un
jardín. Un extranjero pasó por allí y le preguntó a A, “¿Eres caballero o escudero?”. A
respondió, pero tan confusamente, que el extranjero no pudo enterarse de lo que decía.
Entonces el extranjero preguntó a B. “¿Qué ha dicho A?”. Y B le respondió: “A ha dicho
que es escudero.” Pero en ese instante el tercer hombre, C, dijo. “¡No creas a B, que está
mintiendo.”
La pregunta es, ¿qué son B y C?
27. Supóngase que el extranjero, en lugar de preguntarle a A por lo que éste era, le
dijese: “¿Cuántos caballeros hay entre vosotros?” De nuevo, la respuesta de A es
ininteligible. Entonces el extranjero pregunta a B, “¿Qué ha dicho A?”. Y B replica: “A
ha dicho que hay un caballero entre nosotros”. Y C por su parte dice, “No creas a B, que
está mintiendo”.
¿Qué son B y C?
28. En este problema hay sólo dos individuos, A y B, cada uno de los cuales es o
caballero o escudero. A dice: “Uno al menos de nosotros es escudero.”
¿Qué son A y B?
30. Supóngase que A dice, “O yo soy escudero o en caso contrario dos más dos es igual
a cinco”. ¿Qué concluirías?
31. Nuevamente tenemos tres personas, A, B, C, cada una de las cuales es o caballero o
escudero. A y B dicen lo siguiente:
¿Qué son A, B, C?
34. Volvemos a tener tres habitantes, A, B y C, cada uno de los cuales es o caballero o
escudero. Se dice que dos personas son del mismo tipo si son ambos caballeros o ambos
escuderos. A y B dicen lo siguiente:
A: B es un escudero.
B: A y C son del mismo tipo.
¿Qué es C?
35. De nuevo hay tres personas, A, B y C. A dice, “B y C son del mismo tipo”. Alguien
pregunta entonces a C. “Son A y B del mismo tipo?”
¿Qué responde C?
36. He aquí una adivinanza poco frecuente: además, está tomada de la vida real. Una
vez, cuando visité la isla de los caballeros y escuderos, encontré dos habitantes
descansando bajo un árbol. Le pregunté a uno de ellos. “¿Es alguno de vosotros un
caballero?”. Él me respondió, y con su respuesta pude saber la solución a mi pregunta.
¿Qué es la persona a la que dirigí mi pregunta, caballero o escudero? ; y, ¿qué es el
otro? Puedo asegurar que he suministrado información suficiente para resolver este
problema.
37. Suponte que eres tú, lector, quien visita la isla de los caballeros y escuderos. Allí
encuentras a dos habitantes que están perezosamente recostados al sol. Le preguntas a
uno de ellos si el otro es un caballero, y obtienes una respuesta del tipo sí-o-no.
¿Son las dos respuestas necesariamente las mismas.
109. Tenemos dos personas A, B, cada una de las cuales es o caballero o escudero.
Supóngase que A emite el siguiente enunciado: “Si yo soy un caballero, entonces lo es
B”.
¿Puede determinarse qué son A y B?
110. Alguien pregunta a A. “Es usted caballero?”. Él replica. “Si yo soy caballero,
entonces me comeré mi sombrero”.
Pruébese que A tiene que comerse su sombrero.
111. A dice. “Si yo soy caballero, entonces dos más dos es igual a cuatro”. ¿Es A
caballero o escudero?
112. A dice. “Si yo soy un caballero, entonces dos más dos es igual a cinco”. ¿Qué
concluirías?
113. Dadas dos personas, A, B, y siendo ambas o caballeros o escuderos, A dice, “Si B
es caballero entonces yo soy escudero”.
¿Qué son A y B?
A: Si X es culpable, igualmente lo es Y.
B: O X es inocente o Y es culpable.
¿Son A y B necesariamente del mismo tipo? (Recuérdese que dos personas de la isla de
los caballeros y escuderos se dice que son del mismo tipo si son o ambos caballeros o
ambos escuderos.)
A: B es caballero.
B: Si A es caballero, también lo es C.
117. Supóngase que alguien me pregunta. “¿Es realmente verdadero que si amas a
Isabel entonces también amas a María?” Yo respondo, “Si eso es verdadero, entonces
amo a Isabel”.
¿Se sigue que amo a Isabel? ¿Se sigue que amo a María?
118. Esta vez tenemos dos chicas, Eva y Margarita. Alguien me pregunta, “¿Es
realmente verdadero que si amas a Eva entonces amas también a Margarita?” Yo
respondo, “Si eso es verdadero, entonces amo a Eva, y si amo a Eva, entonces
eso es verdadero”:
¿A qué chica amo necesariamente?
119. Ahora se trata de tres chicas, Ana, Luisa y Diana. Supóngase que se dan los
siguientes hechos:
Porcia explicó al pretendiente que de los tres enunciados, a lo sumo uno era verdad.
¿Qué cofre debe elegir el pretendiente?
Porcia explicó al pretendiente que por lo menos uno de los tres enunciados era
verdadero y que por lo menos otro era falso.
¿En qué cofre está el retrato?
Todos los cofres de Cellini tienen una inscripción falsa mientras que los cofres de
Bellini tienen una inscripción verdadera.
69 a. Primera prueba.
En vez de un retrato, Porcia metió una daga en uno de los cofres y dejó los otros dos
vacíos. Si el pretendiente conseguía evitar el cofre de la daga, podía pasar a la prueba
siguiente. Las inscripciones rezaban así:
69 b. Segunda prueba.
Porcia utilizó sólo dos cofres, el de oro y el de plata; uno de ellos contenía su
retrato (en esta prueba no utilizaba daga). Los cofres eran obra de Cellini o de Bellini
y en ellos se leía:
ORO PLATA
69 c. Tercera prueba
Porcia colocó su retrato en uno de los tres cofres y el pretendiente había de (1)
elegir el cofre que tuviera el retrato y (2) adivinar el autor de cada uno de los cofres.
¿Cuál es la solución?
9.EXÁMENES.
Nombre:
Apellido:
Curso:
1) Reglas básicas y reglas derivadas. Explicar, poner ejemplos y deducir al menos una
regla derivada.
2) ( r ٨ s → t ٧ u) → ( t ٧ ¬ t )
3) ¬ q ٨ ( q ٧ r ) ٨ ( p → q ) → ( ¬ p ٨ r)
4) ( p → q ) ٨ ¬ ( ¬ q ٧ ¬ r ) → q
Deducir:
5) -1 p → ¬ ( q ٨ r)
├ q ٨ r → ¬ p
6) Formalizar y deducir: “Si la noche es clara, Drácula agitará sus alas y afilará sus
dientes. Si agita sus alas y encuentra mi ventana abierta, pasará, me despertará,
pero le daré un fuerte tirón de orejas. Si afila sus dientes y la encuentra cerrada,
montará en cólera, romperá los cristales y le daré un fuerte tirón de orejas. Así
pues, si la noche es clara y Drácula encuentra la ventana abierta o cerrada, le daré
un fuerte tirón de orejas.
La noche es clara...p
Drácula agitará sus alas...q
Afilará sus dientes...r
Encuentra mi ventana abierta...s
La encuentra cerrada (no abierta)...¬ s
Pasará...t
Me despertará...w
Le daré un tirón de orejas...m
Montará en cólera...n
Romperá los cristales...k
Nombre:
Apellido:
Curso:
1) -1 p→mvt
-2 m→r
-3 t→r^s
-4 q→ t^ r ├ pvq→r
2) –1 p → q
-2 m → r v s
-3 r → ¬ q
-4 s → ¬ q ^ t ├ ¬ (p ^ m)
3) ├ (p ^ q) v (r ^ s) → [ (p v r) ^ (p v s)] ^ [ ( q v r) ^ (q v s)]
4) ├ ( p → q) ^ ( q → r) → ( p → r)
5) ├ (p → q) → (p ^ r → q ^ r)
6) –1 p v ¬ q → r v m
-2 (r → t v s) ^ ( n → s)
-2 m ^ ¬ r → n ├ ¬ p → [¬ (q v r) → s v t]
7) ├ (p → q) → [ (p → r) → (p → q ^ r)]
8) –1 p → q ^ r
-2 ¬ p → ¬ s
-3 ¬ s → r ├ r
9) –1 (p ^ q → t) ^ ¬ ( t v n)
-2 r v s → t ^ m ├ p → ( q v r → s)
10) ├ (p → r) → [ (q → r) → ( p v q → r)