Escolar Documentos
Profissional Documentos
Cultura Documentos
Departamento de Computación
CI2511 Lógica Simbólica
Enero-Marzo 2013
Práctica 2
1
2. Represente cada uno de los argumentos en el Lenguaje de las Expresiones Booleanas. Deter-
mine si son válidas, satisfacibles, contigencias o no satisfacibles.
2
b: Harry Potter llega a la casa de sus tíos.
c: La tarde muere.
d: El Buho Blanco aparece en la casa de los tíos de Harry Potter.
e: El domingo es 30 de enero.
En las siguientes cuatro preguntas, se presentan oraciones en lenguaje natural y usted debe
seleccionar únicamente la expresión de la Lógica Proposicional que las representan.
a ) A pesar que Blanca Nieves es valiente, le teme a la bruja cuando los enanitos se están
bañando en el río o ella toma una siesta en la orilla del río.
w ∧ (v ⇒ (s ∨ r))
w ⇒ (v ⇒ (s ≡ r))
w ∧ (v ⇐ (s ≡ r))
w ∧ (v ⇐ (s ∨ r))
Ninguna de las anteriores.
b ) Aunque Blanca Nieves sufrió del malecio que la bruja le hizo, ella se liberó del mismo,
cuando el principe la encontró.
(y ⇒ t) ∧ (u ⇒ x)
(y ∧ t) ∧ (u ∧ x)
(y ⇐ t) ∧ (u ⇐ x)
(y ⇐ t) ⇒ (u ⇐ x)
Ninguna de las anteriores.
c ) Siempre que Blanca Nieves y los siete enanitos van al bosque a pasear y los enanitos se
bañan en el río, Blanca Nieves toma una siesta a la orilla del río, a menos que la bruja
la observe.
(p ∧ s ⇒ r) ⇒ ¬q
(p ∧ s ⇒ r) ⇐ q
p ∧ s ⇒ (r ⇐ ¬q)
(p ∧ s ⇒ r) ⇐ ¬q
Ninguna de las anteriores.
d ) Es necesario para que el principe se encuentre con Blanca Nieves, que ella haya sufrido
del malecio; sin embargo, dado que Blanca Nieves es valiente y no le teme a la bruja,
la bruja no le podrá hacer el malecio a Blanca Nieves.
3
(x ⇐ y) ∧ (w ∧ ¬v ⇒ ¬t)
(x ⇐ y) ⇒ (w ∧ ¬v¬t)
(x ⇒ y) ∧ (w ∧ ¬v ⇒ t)
(x ⇒ y) ∧ (w ∧ ¬v ⇒ ¬t)
Ninguna de las anteriores.
5. Suponga que P y Q son dos expresiones booleanas tales que para cualquier estado de las
variables de P o Q, los valores de verdad de P son iguales a los valores de verdad de Q. Qué
se puede decir sobre los valores de verdad de la expresión PD =QD . Justique su respuesta.
6. ¾Es la siguiente expresión Booleana una tautología, una contingencia o una expresión no
satisfacible? ?Qué puede decir de su expresión dual? En ambos casos, justique su respuesta.
(p ∧ q) ∨ (¬q ∧ p) ⇐ p ∨ (¬t ∧ x) ∨ (u 6≡ v)
¬¬p ≡ p
* +
(3.11) ¬p ≡ q ≡ p ≡ ¬q con p, q := ¬p, p
a) ≡
X : ¬¬p ≡ p, Y : ¬p ≡ ¬p, E : z
¬p ≡ ¬p
¬(p ≡ q) ≡ ¬(q ≡ p)
* +
(3.2) Sim ≡: p ≡ q ≡ q ≡ p con p, q := q, p
b) ≡
X : q ≡ p, Y : p ≡ q, E : ¬(p ≡ q) ≡ z
¬(p ≡ q) ≡ ¬(p ≡ q)
(x ∨ v) ∧ ¬z ≡ ¬z ∧ (x ∧ v) ≡ (¬z ≡ v)
* +
(3.3) Identidad ≡: true ≡ q ≡ q con q := ¬z,
c) ≡
X : ¬z ≡ ¬z, Y : true, E : (x ∨ v) ∧ z ∧ (x ∧ v) ≡ (¬z ≡ v)
(x ∨ v) ∧ true ∧ (x ∧ v) ≡ (¬z ≡ v)
¬(p ∧ q) ≡ p ∧ q ≡ ¬q ≡ p
* +
(3.15) ¬p ≡ p ≡ f alse con p := p ∧ q
d) ≡
X : ¬(p ∧ q) ≡ p ∧ q, Y : f alse, E : z ≡ ¬q ≡ p
f alse ≡ ¬q ≡ p
4
8. Demuestre los teoremas (3.11)-(3.19). En cada justicación, incluya el teorema, la sustitución
textual aplicada al mismo, y la información que describe a la regla de Leibniz aplicada en
dicho paso, es decir, especique X, Y y E.
9. Haciendo uso únicamente de axiomas, demuestre los siguientes teoremas. En cada justicación,
incluya el axioma, la sustitución textual aplicada al mismo, y la información que describe a
la regla de Leibniz aplicada en dicho paso, es decir, especique X, Y y E.
10. Demuestre que las siguientes expresiones son teoremas. En cada justicación, incluya el teo-
rema, la sustitución textual aplicada al mismo, y la información que describe a la regla de
Leibniz aplicada en dicho paso, es decir, especique X, Y y E. Además, toda aplicación de
asociatividad y simetría debe hacerse de manera explícita.