Práctico 01 | Lógica | 2022 | Prof.

Enzo Falcón
Práctico 1
Ejercicio 1:
Considere:
𝑝: Tengo examen de lógica.
𝑞: Tengo vacaciones.
Se pide: Escribir en lenguaje natural:
a- ¬( 𝑝 ∧ 𝑞)
b- 𝑝 ∨ ( ¬𝑞)
c- ( ¬𝑝) → 𝑞
d- (𝑝 ∨ 𝑞) → 𝑝
e- (¬q ↔ p)

Ejercicio 2:
Considere los siguientes enunciados en lenguaje natural:
a- Pablo no le gusta la matemática y si filosofía.
b- Como carne o soy vegano.
c- Si 10 + 5 = 15 entonces 20 – 5 = 15.
d- Si un polígono es un triángulo entonces tiene tres lados.
e- Goku es el personaje más fuerte si, y solo si, no consideramos a Saitama.
Para cada caso, se pide:
- Escribir las proposiciones atómicas que la componen.
- Escribir la proposición molecular que mejor considere.

Ejercicio 3 [Extraído de examen]

a) Escribir cuatro proposiciones simples sobre sus series o animaciones favoritas.
A dichas proposiciones nombrarlas como 𝒑, 𝒒, 𝒓 y 𝒔.
b) Respetando las proposiciones creadas en el punto anterior, escribir en lenguaje natural las
expresiones:
i) (𝒑 ∧ 𝒒) → (¬𝒓)
ii) 𝒔 ↔ ( 𝒒(¬𝒑))
c) Escribir dos oraciones que no cumplan ser proposiciones.

Ejercicio 4 [Extraído de examen]

Sean:
p: Estoy estudiando para el examen
q: Realizo las actividades
r: Hago consultas por plataforma
Parte A Simboliza las siguientes expresiones:
a) No es cierto que, estoy estudiando para el examen y no hago consultas por plataforma.
b) Si estoy estudiando para el examen y hago consultas por plataforma entonces realizo las
actividades.
Parte B Pasa a lenguaje natural las siguientes formas simbólicas:
a) ¬𝑝 ∧ 𝑞
b) ¬ 𝑟 ↔ (¬ 𝑝 ∨ ¬ 𝑞)