PUNTO 1, Sección 3.

3. Escriba la fórmula bien formada que representa cada una de las siguientes secuencias de
símbolos:

 𝑝 ∧ 𝑞 ⟷ 𝑟 ∨ 𝑠 ⟶ 𝑞, agrupando por paréntesis, (((𝑝 ∧ 𝑞) ⟷ (𝑟 ∨ 𝑠)) ⟶ 𝑞)

 𝑝 ⟶ 𝑞 ⟶ 𝑞 ⟶ 𝑝, agrupando por paréntesis, (((𝑝 ⟶ 𝑞) ⟶ 𝑞) ⟶ 𝑝)
 ¬𝑝 ⟷ 𝑞 ∨ ¬𝑟 ∨ (𝑞 ⟶ 𝑟) ⟷ ¬¬𝑞, agrupando por paréntesis,
(((¬𝑝) ⟷ ((𝑞 ∨ (¬𝑟)) ∨ (𝑞 ⟶ 𝑟))) ⟷ (¬(¬𝑞)))
 𝑝 ∨ (𝑞 ∧ 𝑟) ⟷ 𝑝 ∨ 𝑞 ∧ (𝑝 ∧ 𝑞), agrupando por paréntesis,
(𝑝 ∨ (𝑞 ∧ 𝑟)) ⟷ (𝑝 ∨ (𝑞 ∧ (𝑝 ∧ 𝑞)))

7. Verifique que las fórmulas 𝑓1 = 𝑝 ∧ 𝑞 ∨ 𝑟 y 𝑓2 = 𝑝 ∧ (𝑞 ∨ 𝑟) no son lógicamente equivalentes

 Solución:

𝑓1 ⟺ 𝑓2, si y solo si, 𝑓1 ⟷ 𝑓2 es una tautología

𝒞 = {𝑝, 𝑞, 𝑟} 𝐼 = 23 = 8, 𝑛𝑢𝑚𝑒𝑟𝑜 𝑑𝑒 𝑖𝑛𝑡𝑒𝑟𝑝𝑟𝑒𝑡𝑎𝑐𝑖𝑜𝑛𝑒𝑠

𝑝 𝑞 𝑟 𝑝∧𝑞 (𝑝 ∧ 𝑞) ∨ 𝑟 𝑞∨𝑟 𝑝 ∧ (𝑞 ∨ 𝑟) ((𝑝 ∧ 𝑞) ∨ 𝑟) ⟷ (𝑝 ∧ (𝑞 ∨ 𝑟))

V V V V V V V V
V V F V V V V V
V F V F V V V V
V F F F F F F V
F V V F V V F F
F V F F F V F V
F F V F V V F F
F F F F F F F V

No es una tautología, es una contingencia, debido que no todas las interpretaciones son
verdaderas, por lo tanto no son lógicamente equivalentes.

13. Hallar el valor de verdad para los siguientes predicados:

II. ∃𝑥 ∀𝑛 (𝑥 < 𝑛) = 𝐹𝑎𝑙𝑠𝑜

V. ∀𝑥 (𝑥 2 > 0) = 𝑉𝑒𝑟𝑑𝑎𝑑𝑒𝑟𝑜

VIII. ∀𝑥 (𝑥 𝑡𝑖𝑒𝑛𝑒 𝑖𝑛𝑣𝑒𝑟𝑠𝑜 𝑎𝑑𝑖𝑡𝑖𝑣𝑜) ⟺ ∀𝑥 ∃𝑦 (𝑥 + 𝑦 = 𝑐) = 𝐹𝑎𝑙𝑠𝑜

 XI. ∃𝑥 ∀𝑦 (𝑥𝑦 = 𝑥) = 𝐹𝑎𝑙𝑠𝑜

XIV. ∃𝑥 ∀𝑎 ∀𝑏 ∀𝑐 ((𝑎𝑥 2 + 𝑏𝑥 + 𝑐 = 𝑜) ∧ (𝑎 ≠ 0)) = 𝐹𝑎𝑙𝑠𝑜

14. Usando las Leyes de Morgan, negar los siguientes predicados:

I. ∃𝑥 ∀𝑛 (𝑥 > 𝑛) Aplicando las Leyes de Morgan obtenemos: ∀𝑥 ¬∃𝑛(𝑥 ≤ 𝑛)

XIV. ∃𝑥 ∀𝑎 ∀𝑏 ∀𝑐 ((𝑎𝑥 2 + 𝑏𝑥 + 𝑐 = 𝑜) ∧ (𝑎 ≠ 0)) Aplicando las Leyes de Morgan

obtenemos: ∀𝑥 ∃𝑎 ∃𝑏 ∃𝑐 ((𝑎𝑥 2 + 𝑏𝑥 + 𝑐 ≠ 𝑜) ∧ (𝑎 = 0))

PUNTO 2, Sección 4.3

2. Si 𝐴 = {2, 4, 6, 8,0}, definir un predicado constructor Ψ𝐴 para el conjunto 𝐴

𝑉, 𝑠𝑖 𝑥 = 2, 𝑥 = 4, 𝑥 = 6, 𝑥 = 8, 𝑥 = 0
Ψ𝐴 (𝑥) = { }
𝐹, 𝑒𝑛 𝑜𝑡𝑟𝑜 𝑐𝑎𝑠𝑜

4. Sea 𝑈 = {𝑁𝑢𝑚𝑒𝑟𝑜𝑠 𝑦 𝑓𝑖𝑔𝑢𝑟𝑎𝑠} un universo para los conjuntos

𝐴, 𝐵 𝑦 𝐶, (𝑁𝑢𝑚𝑒𝑟𝑜𝑠 𝑦 𝑓𝑖𝑔𝑢𝑟𝑎𝑠). Calcule:

II.

𝐴∩𝐶 =∅

5. Sean 𝐴 = ∅, 𝐵 = ∅, 𝐶 = {𝐹𝑖𝑔𝑢𝑟𝑎𝑠} 𝑦 𝐷 = {{𝑥}, {𝑦}, {𝑧}}, calcular:

I. ℘(𝐴) = ∅

6. Sean 𝐴 = {2, 4, 6, 8, 0}, 𝐵 = {𝐹𝑖𝑔𝑢𝑟𝑎𝑠} 𝑦 𝐶 = {𝑎, 𝑒, 𝑖, 𝑜, 𝑢}, calcular:

I.

7. Halle el cardinal de los conjuntos obtenidos en el numeral 5. Para un conjunto 𝐴, ¿Cuál será el
cardinal de ℘(𝐴) en términos de |𝐴|?

 |℘(𝐴)| = 0, |℘(𝐵)| = 2, |℘(𝐶)| = 16, |℘(𝐷)| = 8.

9. Dados los conjuntos 𝐴 𝑦 𝐵 ¿Cuál es el cardinal del conjunto 𝐴 ∪ 𝐵 ∪ 𝐶 ?

a) |𝐴 ∪ 𝐵 ∪ 𝐶|= |(𝐴 ∪ 𝐵) ∪ 𝐶| = |𝐴 ∪ 𝐵| + |𝐶| − |𝐴 ∪ 𝐵) ∩ 𝐶| = |𝐴| + |𝐵| −

|𝐴 ∩ 𝐵| + |𝐶| − |(𝐴 ∩ 𝐶) ∪ (𝐵 ∩ 𝐶)|.
b) |(𝐴 ∩ 𝐶) ∪ (𝐵 ∩ 𝐶)| = |𝐴 ∩ 𝐶| + |𝐵 ∩ 𝐶| − |(𝐴 ∩ 𝐶) ∩ (𝐵 ∩ 𝐶)| = |𝐴 ∩ 𝐶| +
|𝐵 ∩ 𝐶| − |𝐴 ∩ 𝐵 ∩ 𝐶|.
Obtenemos como resultado:

|𝐴 ∪ 𝐵 ∪ 𝐶| = |𝐴| + |𝐵| + |𝐶| − |𝐴 ∩ 𝐵| − |𝐴 ∩ 𝐶| − |𝐵 ∩ 𝐶| + |𝐴 ∩ 𝐵 ∩ 𝐶|

PUNTO 3, Sección 5.5

1. Diseñar un programa en C++ que permita evaluar la función: p || q && r, evalué todas las
interpretaciones de la expresión anterior y compárelas con las interpretaciones de la formula
lógica 𝑝 ∨ 𝑞 ∧ 𝑟. ¿Son lógicamente equivalentes?

Programa:

#include <iostream> int main( )

using namespace std; {
cin >> p; cin >> q; cin >> r;
bool p= false; respuesta = p || q && r;
bool q = false; cout << respuesta;
bool r = false; return 0;
bool respuesta = false; }
No son lógicamente equivalente, ya que ((𝑝 ∨ 𝑞) ∧ 𝑟) ⟷ (𝐩 | | 𝐪 && 𝐫) no es una tautología.
Esto se debe a que en el lenguaje de C++ los signos tienen otro orden según la prioridad.

𝑝 𝑞 𝑟 𝐩 | | 𝐪 && 𝐫 𝑝 𝑞 𝑟 𝐩 | | 𝐪 && 𝐫
1 1 1 1 V V V V
1 1 0 1 V V F V
1 0 1 1 V F V V
1 0 0 1 V F F V
0 1 1 1 F V V V
0 1 0 0 F V F F
0 0 1 0 F F V F
0 0 0 0 F F F F

𝑝 𝑞 𝑝∨𝑞 𝑟 (𝑝 ∨ 𝑞) ∧ 𝑟 (𝑝 ∨ 𝑞) ∧ 𝑟 𝐩 | | 𝐪 && 𝐫 ((𝑝 ∨ 𝑞) ∧ 𝑟) ⟷ (𝐩 | | 𝐪 && 𝐫)

V V V V V V V V

V V V F F F V F

V F V V V V V V

V F V F F F V F

F V V V V V V V

F V V F F F F V

F F F V F F F V

F F F F F F F V

4. Suponga que int a = 3, int b = 10, double c = 0.5 y int d = 4, entonces ¿Cuál es el valor que
se obtiene al evaluar de la siguiente expresión?

(Int) (b * c) % a * -b / c + d –a % d
Solución:
(10 * 0.5) % 3 * -10 + 4 – 3 % 4
= 5 % 3 * (-10) + 4 – 3 % 4
= (5 % 3) * (-10) + 4 – (3 % 4)
= 2 * (-10) + 4 – 3
 = (2 * (-10)) + 4 – 3
= ((-20) + 4) – 3
= -16 – 3
= -19

PUNTO 4, Sección 6.6

2. Sean 𝐴 = {0,1 }, 𝐵 = {𝐹𝑖𝑔𝑢𝑟𝑎𝑠} dos conjuntos. Encuentre todas las relaciones de 𝐴 en 𝐵

27. De las funciones del numeral 26. ¿Cuáles son inyectivas?, ¿Cuáles son sobreyectivas?, ¿Cuáles
son totales?, ¿Cuáles son biyecciones?

 𝑓1 (𝑛) = 1 : Sobreyectiva, Total

 𝑓2 (𝑛) = 𝑛 : Inyectiva, Sobreyectiva, Total, Biyectiva
 𝑓3 (𝑛) = 𝑛2 : Total
 𝑓4 (𝑛) = 𝑛3 : Inyectiva, Sobreyectiva, Total, Biyectiva
 𝑓5 (𝑛) = 2𝑛 : Inyectiva, Total
 𝑓6 (𝑛) = log 2 𝑛 : Inyectiva, Sobreyectiva

30. De las relaciones definidas en el numeral 28 que son funciones. ¿Cuáles son inyectivas?,
¿Cuáles son sobreyectivas?, ¿Cuáles son totales?, ¿Cuáles son biyecciones?

 𝑓1 (𝑥) = 𝑥 : Inyectiva, Sobreyectiva, Total, Biyectiva

 𝑓2 (𝑥) = 𝑥 2 : Total
 𝑓3 (𝑥) = √𝑥 : Inyectiva
 𝑓4 (𝑥) = |𝑥| : Total
 𝑓8 (𝑥) = log 2 𝑥 : Inyectiva, Sobreyectiva