PRACTICA#2

Ejercicio 1. Determine el valor de verdad de cada afirmación en los siguientes ejercicios, si el dominio o el
conjunto de verdad son los 𝑅, justifique su respuesta
a. ∀x(x 2 > x)
b. ∃x(x 2 > x)
c. ∀x(x > 1 → x 2 > x)
d. ∃x(x > 1 → x 2 > x)
x 1
e. ∀x (x > 1 → < )
x2 + 1 3
x 1
f. ∃x (x > 1 → 2 < )
x +1 3
Ejercicio 2.
a. ¿Cuál es la interpretación de ∀𝑥∀𝑦 𝑃(𝑥, 𝑦)? ¿Cuándo es verdadera esta expresión cuantificada?
¿Cuándo es falsa?
b. ¿Cuál es la interpretación de ∀x∃y P(x, y)? ¿Cuándo es verdadera esta expresión cuantificada?
¿Cuándo es falsa?
c. ¿Cuál es la interpretación de ∃x∀y P(x, y)? ¿Cuándo es verdadera esta expresión cuantificada?
¿Cuándo es falsa?
d. ¿Cuál es la interpretación de ∃x∃y P(x, y)? ¿Cuándo es verdadera esta expresión cuantificada?
¿Cuándo es falsa?
Ejercicio 3.
a. Escriba la negación de ∀x∃y P(x, y) usando las leyes generalizadas de De Morgan para lógica.
b. Escriba la negación de ∃x∀y P(x, y) usando las leyes generalizadas de De Morgan para lógica.
c. Escriba la negación de ∃x∃y P(x, y) usando las leyes generalizadas de De Morgan para lógica.

Ejercicio 4. Construya la tabla de verdad para los conectores disyunción, conjunción, bicondicional,
condicional con su representación gráfica (circuitos lógicos) en cada caso.
Ejercicio 5. Represente por circuito lógicos las siguientes proposiciones
a. 𝑝 ∨ (𝑞 ∧ 𝑟)
b. 𝑝 ∧ 𝑞 ∨ 𝑟
c. 𝑝 ∨ 𝑞 ∨ 𝑟
d. ¬(𝑝 ∨ 𝑞 → 𝑟)

Ejercicio 6. Simplifique y exprese en circuitos lógicos las siguientes proposiciones compuestas.

a. [¬(𝑝 ∨ 𝑞) ∨ (𝑝 ∨ ¬𝑟)] → [𝑟 ∧ (𝑟 ∨ ¬𝑡)]

b. 𝑝 ∧ (𝑞 ∨ 𝑟) ∧ 𝑢[(𝑠 ∧ 𝑡) ∨ 𝑟]
c. {[(𝑝 ∨ 𝑚) ∧ (𝑝 ∧ ¬𝑚)] ∧ [(¬𝑞 ∧ 𝑚) ∨ (¬𝑞 ∧ ¬𝑚)]} ∨ {[(𝑟 ∧ ¬𝑟) ∨ (𝑝 ∨ ¬𝑝)] ∧ 𝑉}
d. ¬[¬(¬𝑝 ∨ 𝑞) ∧ (𝑝 ∧ 𝑞)] → {𝑟 ∨ (¬𝑠 ∧ 𝑠) ∧ [(𝑚 ∨ ¬𝑛) → 𝐹]}
e. {[(𝑠 → ¬𝑡) ∨ (¬𝑠 ∨ 𝑡)] ∧ (𝑚 → 𝑉)} ∧ [𝑠 ∨ ¬(¬𝑠 → 𝑡)]
f. (¬𝑝 → 𝑟) ∧ [(𝑝 ∧ ¬𝑟) ∨ (¬𝑝 ∧ ¬𝑟) ∨ (¬𝑝 ∧ 𝑟)] ∧ (𝑝 ∨ ¬𝑟)
g. [¬(𝑝 ∨ 𝑞) ∨ (𝑝 ∨ ¬𝑟)] → [𝑟 ∧ (𝑟 ∨ ¬𝑡)]
h. [¬(𝑝 ∧ ¬𝑞) → ¬(𝑝 ∨ 𝑞)] ∨ (¬𝑝 ∧ 𝑞)
i. ¬[𝑝 ∧ ¬(𝑝 ∧ 𝑞)] → [¬(𝑞 ∨ ¬𝑝)]
j. ¬{¬[¬(𝑝 → (𝑟 ∨ 𝑡)) ⟷ (𝑠 ∨ 𝑟)] ∧ ¬(¬𝑡)} → (𝑡 → 𝑡)