Elementos de Computación y Lógica
Ing. en Informática – Lic. en Informática – Programador Universitario
Facultad de Ciencias Exactas y Tecnología
Universidad Nacional de Tucumán
Trabajo Práctico N◦ 3
Tema: Lógica. Leyes Lógicas. Derivaciones
2023
Reglas de Inferencia
Ley de Combinación P, Q ⊢ P ∧ Q
Ley de Simplificación P ∧ Q ⊢ P;Q
Ley de Adición P ⊢P ∨Q
Modus Ponens P, P → Q ⊢ Q
Modus Tollens ¬Q, P → Q ⊢ ¬P
Silogismo Hipotético P → Q, Q → R ⊢ P → R
Silogismo Disyuntivo P ∨ Q, ¬Q ⊢ P
Ley de Casos P → Q, ¬P → Q ⊢ Q
Ejercicios
1. Traducir a forma lógica cada uno de los siguientes argumentos e indicar a cuál de las reglas
de inferencia hace referencia.
a. Que haya una tormenta es una condición suficiente para que la playa esté cerrada. La
playa no está cerrada. Por consiguiente, no hay una tormenta.
b. Estaré en forma si me ejercito diariamente. Si estoy en forma, entonces voy a correr
una maratón. Luego, ejercitarme diariamente es una condición suficiente para correr
una maratón.
c. Si el cielo está despejado, hoy no habrá lluvia. Es verdad que el cielo está despejado
hoy. Por lo tanto, hoy no habrá lluvia.
d. Miguel recibirá un aumento o un bono de fin de año. Miguel no recibió un aumento.
En conclusión, Miguel recibirá un bono de fin de año.
2. Traducir a forma lógica y verificar la validez de los siguientes argumentos por tablas de verdad
a. Si Julieta juega a la pelota a la tarde, no va a estudiar y va a desaprobar el examen.
Julieta no juega a la pelota por la tarde. Luego, Julieta estudió a la tarde pero de-
saprobó el examen.
1
b. Estudiar para el examen o que el examen sea fácil son condiciones suficientes para
sacarme una buena nota. Pero si no estudio para el examen y el examen no es fácil, no
sacaré una buena nota. No estudié para el examen y tampoco fue fácil. Por consiguiente,
no saque una buena nota.
c. Si la cabalgata sale temprano al amanecer, todos los jinetes madrugan, todo esto implica
que llegarán a tiempo para almorzar en la cumbre. Todos madrugaron. Por lo tanto, la
cabalgata sale al amanecer, entonces llegan a almorzar a la cumbre.
3. Dé una derivación para los argumentos lógicos que se indican. Establezca qué leyes se utilizan
en cada paso. (Puede usar todas las leyes lógicas conocidas).
a. ¬t; s → t; p → q; q → r; r → s ⊢ ¬p
b. ¬r ∧ (p → q); q → r ⊢ ¬p
c. (q ∧ r) → s; ¬s; p → (r ∧ q) ⊢ ¬p
d. p → q; ¬q ∨ s; p ∨ (r ∧ s) ⊢ s
e. q → s; ¬(¬q ∨ p); ¬p → r ⊢ r ∧ s
f. p; r → q; p → (¬q ∨ ¬s); ¬(q ∧ s) → ¬(q ∨ r) ⊢ ¬r
4. Demuestre por el absurdo los siguientes argumentos:
a. p ∨ (q ∧ r); p → r ⊢ r
b. s → q; p → (r ∧ s); q → (p → ¬q) ⊢ ¬p
c. p → ¬(r ∧ s); p ∧ q; p → [q → (r ∧ s)] ⊢ ¬p
d. (p → q) ∧ (r → s); (q ∨ s) → t; ¬t ⊢ ¬(p ∨ r)
5. Resuelva los casos que se plantean.
a. Considere el siguiente argumento: Fue Julia o Pablo quien cometió el crimen. Julia
estaba fuera del pueblo cuando el crimen fue cometido. Si Julia estaba fuera del pueblo,
no pudo haber estado en la escena del crimen. Si Julia no estaba en la escena del crimen,
no pudo haber cometido el crimen.
Escriba esto como una demostración formal y derive la conclusión (es decir, averigüe
quien cometió el crimen). Use:
- p: Julia cometió el crimen.
- q: Pablo cometió el crimen.
- r: Julia estaba fuera del pueblo.
- s: Julia estuvo en la escena del crimen.
b. Si no sube el dólar, Anabel se irá de vacaciones. Si Anabel se va de vacaciones, no
tendrá dinero para ir al recital. Anabel tendrá dinero para ir al recital o bien suben los
precios por la inflación. Sucede que no subieron los precios por la inflación.
¿Habrá subido el dólar?
6. Compruebe si los siguientes conjuntos de premisas son consistentes o no.
a. p → q; p ∨ q
b. r → q ∧ r; ¬s ∨ r; ¬t ∨ ¬q; s ∧ t
c. t ∨ ¬r; ¬(r → s); t → s
d. p ∧ q; p → q; ¬r
