Documentos de Académico
Documentos de Profesional
Documentos de Cultura
b
= hrazón por la cual b = d − 1i
d−1
< hdefinición de < i
d
85
Cartilla Herramientas de Lógica Computacional Forma abreviada en la prueba de implicaciones
p
= hrazón por la cual p ≡ qi
q
⇒ hrazón por la cual q ⇒ ri
r
Para aceptar este nuevo formato de prueba, debemos probar que podemos transformar
esta prueba en una que no utilice la extensión que permitimos arriba, aquı́ presentamos
la prueba que parte del teorema 4.81b
(p ≡ q) ∧ (q ⇒ r) ⇒ (p ⇒ r)
= hrazón por la cual p ≡ q ≡ Truei
True ∧ (q ⇒ r) ⇒ (p ⇒ r)
= hrazón por la cual q ⇒ r ≡ Truei
True ∧ True ⇒ (p ⇒ r)
= h(4.38) y (4.72), p ∧ p ≡ p y True ⇒ p ≡ pi
(p ⇒ r)
5.1 Teorema. p ⇒ (q ⇒ p)
Antes de enunciar los teoremas que siguen, diremos que una función booleana se dice
monótona si (x ⇒ y) ⇒ (f.x ⇒ f.y).
Vamos a ilustrar la prueba del teorema 5.2, utilizando el formato abreviado de pruebas
para implicaciones. Comenzaremos por el consecuente, pues tiene más estructura, y lo
transformaremos en el antecedente (p ⇒ q).
p∨r ⇒q∨r
= h(4.56), p ⇒ q ≡ p ∨ q ≡ q, con p, q := p ∨ r, q ∨ ri
p∨r∨q∨r ≡q∨r
= h(4.26), r ∨ r ≡ ri
p∨q∨r ≡q∨r
= h(4.27), p ∨ (q ≡ r) ≡ p ∨ q ≡ p ∨ r, con p, q, r := r, p ∨ q, qi
(p ∨ q ≡ q) ∨ r
⇐ h(4.75a), p ⇒ p ∨ qi
p∨q ≡q
= h(4.56), p ⇒ q ≡ p ∨ q ≡ qi
p⇒q
86
Cartilla Herramientas de Lógica Computacional Suponiendo el antecedente
p⇒q
= h(4.56), p ⇒ q ≡ p ∨ q ≡ qi
p∨q ≡q
⇒ h(4.75a), p ⇒ p ∨ qi
(p ∨ q ≡ q) ∨ r
= h(4.27), p ∨ (q ≡ r) ≡ p ∨ q ≡ p ∨ r, con p, q, r := r, p ∨ q, qi
p∨q∨r ≡q∨r
= h(4.26), r ∨ r ≡ ri
p∨r∨q∨r ≡q∨r
= h(4.56), p ⇒ q ≡ p ∨ q ≡ q, con p, q := p ∨ r, q ∨ ri
p∨r ⇒q∨r
En esta última prueba, aparecen pasos intermedios bastante artificiosos, por ejemplo, en
el segundo paso aparece el operando r en la disyunción sin ningún motivo aparente. Este
ejemplo muestra que la dirección que se toma en una prueba puede determinar que resulte
simple o no, la obtención de la expresión buscada.
87
Cartilla Herramientas de Lógica Computacional Analizando razonamientos en lenguaje corriente
p
= hsuponiendo cierto pi
True
= hsuponiendo cierto qi
q
Si una prueba es larga, puede resultar complicado recordar los supuestos, en este caso
situamos las suposiciones al comienzo de la prueba como en el siguiente ejemplo.
Suponiendo p, q
p
= hSuponiendo pi
True
= hSuponiendo qi
q
88
Cartilla Herramientas de Lógica Computacional Construyendo contraejemplos
P0 : ¬s ⇒ f
P1 : f ⇒ ¬g
C: g⇒s
(¬s ⇒ f ) ∧ (f ⇒ ¬g)
⇒ h(4.81a), (p ⇒ q) ∧ (q ⇒ r) ⇒ (p ⇒ r)i
¬s ⇒ ¬g
= h(4.60), p ⇒ q ≡ ¬q ⇒ ¬pi
g⇒s
89
Cartilla Herramientas de Lógica Computacional Un acertijo lógico
(x ⇒ (y ⇒ z)) ∧ y ⇒ x ∨ z (5.1)
(x ⇒ (y ⇒ z)) ∧ y
= h(4.64) Traslación, dos vecesi
(y ⇒ (x ⇒ z)) ∧ y
= h(4.65) p ∧ (p ⇒ q) ≡ p ∧ qi
(x ⇒ z) ∧ y
90
Cartilla Herramientas de Lógica Computacional Ejercicios
91
Cartilla Herramientas de Lógica Computacional Ejercicios
4. Probar (p ⇒ q) ∧ (r ⇒ s) ⇒ (p ∨ r ⇒ q ∨ s).
Sugerencia: reemplazar la implicación en el antecedente por alguna definición al-
ternativa, distribuir tanto como sea posible, luego usar el teorema 4.75d y algún
teorema de absorción.
5. Probar (p ⇒ q) ∧ (r ⇒ s) ⇒ (p ∧ r ⇒ q ∧ s).
Sugerencia: Antes de la prueba, usar el teorema 4.64 para trasladar p ∧ r al antece-
dente.
Suponiendo el antecedente
6. Probar p ⇒ (q ⇒ p).
8. Probar p ∧ q ⇒ (p ≡ q).
9. Probar (p ⇒ p0 ) ∧ (q ⇒ q 0 ) ⇒ (p ∨ q ⇒ p0 ∨ q 0 ).
11. Analizar los razonamientos presentados en el ejercicio 2.9 del Capı́tulo 2, usando las
herramientas introducidas en esta sección.
Si Dios quisiera evitar el mal pero fuera incapaz de hacerlo no serı́a om-
nipotente, si fuera capaz de evitar el mal pero no quisiera hacerlo serı́a
malévolo. El mal sólo puede existir si Dios no puede o no quiere impedir-
lo. El mal existe. Si Dios existe, es omnipotente y no es malévolo. Luego,
Dios no existe.
13. Formalizar los siguientes razonamientos y, o bien probar que son válidos o bien
encontrar un contraejemplo:
92
Cartilla Herramientas de Lógica Computacional Ejercicios
14. La isla de los caballeros y los pı́caros está habitada solamente por estos dos tipos
de personas. Los caballeros tienen la particularidad de que sólo dicen la verdad,
mientras que los pı́caros siempre mienten. Para formalizar los siguientes problemas,
utilizar las variables booleanas que se indican:
b : B es un caballero.
c : C es un caballero.
d : D es un caballero.
93
Cartilla Herramientas de Lógica Computacional Ejercicios
Asociatividad: a·1=a
(a + b) + c = a + (b + c) 1·a=a
(a.b) · c = a · (b · c) Distributividad:
Simetrı́a: a · (b + c) = a · b + a · c
a+b=b+a Existencia de un inverso aditi-
a·b=b·a vo:
Identidad aditiva: Existe x tal que a + x = x + a = 0.
a+0=a Axioma de cancelación:
0+a=a c 6= 0 → (c · a = c · b ≡ a = b)
Identidad multiplicativa: c 6= 0 → (a · c = b · c ≡ a = b)
Usando los axiomas anteriores, demuestre los siguientes teoremas, usando los méto-
dos de demostración vistos (en el caso de las equivalencias, demuéstrelas usando
doble implicación):
a) a + b = a + c ≡ b = c
b) a · 0 = 0
c) a 6= 0 → (a · z = a ≡ z = 1)
d ) (x + a = 0) ∧ (y + a = 0) → x = y
94
Cartilla Herramientas de Lógica Computacional Ejercicios
95
Cartilla Herramientas de Lógica Computacional Ejercicios
96