Taller #1:

Ejercicios semana 1:

1. Escriba en lenguaje formal por lo menos 3 de las siguientes afirmaciones:

a) Aunque Lucy sea callada, eso no le ha impedido ser feliz.

b) Si voy al banco sacaré dinero, o solo tomaré el sol.
c) Cuando cae granizo es porque está lloviendo, sin embargo hoy no está lloviendo.
d ) Pasaré la materia siempre y cuando me esfuerce estudiando, o simplemnete con mucha suerte.

2. Sean p, q y r variables proposicionales. Haga la tabla de verdad de por lo menos 4 de las siguientes proposiciones:

a) (p → (q → r)) → ((p → q) → (q → r)).

b) (p → (q ⊕ r)) ∧ (¬p ∨ q).
c) ¬p → [(q ∨ r) ∧ (¬r ↔ q)].
d ) [(p → q) → (¬q → ¬p)] ∧ [(¬q → ¬p) → (p → q)].
e) (p → q) ∧ (p ∧ ¬q).
f ) [(p ∨ q) ∧ (¬p ∧ ¬q)] → r.

Ejercicios semana 2:

1. Equivalencias: (*)

a) Muestre que las afirmaciones p := ¬(a ∨ b) y q := (¬a ∧ ¬b) son equivalentes (con una tabla de verdad) ¿Que
puede concluir de la proposición p ↔ q?
b) Para cada uno de los numerales (a), (b) y (d) del punto 2 de la semana 1. Encuentre una proposición
equivalente escrita únicamente en términos de los conectivos “∧” y “¬”.

2. Traduzca del lenguaje natural al lenguaje formal con predicados almenos 2 de las siguientes afirmaciones [no vale
a)]:

a) “Ningún perro ha ido a venus, pero todos los animales que han ido a marte son perros”.

Hint: Sean, Q(x, y) = “x ha ido a y”, P (x) = “x es perro”, v = “Venus” y m = “Marte”.

Resp:
∀x : (P (x) → ¬Q(x, v)) ∧ (Q(x, m) → P (x)),

b) “Todo ser que haya ido a Marte ha ido a Venus, aunque tenga un perro que no ha ido a Venus”,
c) “Todo ingeniero de sistemas sabe lógica proposicional, sin embargo existen personas que saben lógica propo-
sicional y no son ingenieros de sistemas”,
d ) “Existen números primos que son pares, pero no todo número impar es primo”.

1
 3. Fije como dominio D = {q ∈ R | q es racional } = “Los números reales que son racionales” = {q ∈ Q} y determine
la veracidad o falsedad de las siguientes proposiciones: (*)

a) ∃x : (x2 = 2).
b) ∃x : (x2 = 9).
c) ∀x : (x2 > 0).
d ) ∃!x : (x2 + 1 = 0).

4. Fije como dominio D = {r ∈ R} =“Los números reales” y escriba en lenguaje formal las siguientes proposiciones:

a) No existe un número tal que su cuadrado sea negativo.

b) No todos los números racionales tienen una raiz cuadrada racional.
c) Ningún número par es primo.

Ejercicios semana 3:

1. Determine el valor de verdad de las siguientes proposicione con cuantificadores anidados (solo debe entregar 4
numerales): (*)

a) ∀x∀y ∈ R : (xy < 0) ∨ (xy > 0),

b) ∃x∃y ∈ Z : (x < 0) ∧ (xy = 1),
c) ∀x∀y ∈ Z : x2 = y 2 → x = y,
d ) ∃x∃y ∈ Q : x2 + y 3 = 1,
e) ∀x∃y ∈ Z : x + y = 0,
f ) ∀x∀y ∈ Z : y < xy.

2. Indique si los siguientes argumentos son válidos, de acuerdo a las reglas de inferencia, justifique en cada caso (solo
debe entregar 2 numerales):

a)
Hay alguien en esta clase que ha estado en Boyacá
Todo el que va a Boyacá visita el museo de los balones
∴ Alguien en esta clase ha visitado el museo de los balones

b)
A Mare le gustan todas las pelı́culas de acción
A Mare le gusta la pelı́cula The Hateful Eight
∴ The Hateful Eight es una pelı́cula de acción

c)

Alguien en esta clase disfruta de la observación de ballenas

Cada persona que disfruta de la observación de ballenas se preocupa por contaminación del océano
∴ Hay una persona en este clase que se preocupa por la contaminación del océano

2
Ejercicios semana 4:

1. Demuestre o refute los siguientes enunciados (solo debe entregar 4 numerales, b) es obligatorio): (*)

a) Si n es un entero positivo (n ∈ N>0 ), entonces n es par si y solo si 3n + 8 es par.

b) Los siguientes son equivalentes, si r ∈ R
r es racional,
3 1
5 r + 2 es racional,
r2 es racional.
c) Si n ∈ Z es tal que n3 es par, entonces n es par.
d ) Si n ∈ Z, entonces n < (n − 1)2 .
e) El número real log2 3 es irracional.
f ) Si n, m ∈ Z entonces m2 = n2 si y solo si m = n ó m = −n.

Ejercicios semana 5:

1. Sea A = {4n − 2|n ∈ Z}, muestre que

a) −6 ∈ A.
b) 8 6∈ A.
c) A ( Z.
d ) A ⊆ {2n|n ∈ Z} ¿Es contenencia estricta o son iguales?

2. Muestre las siguientes contenencias e igualdades (debe entregar solo 2 numerales, b) es obligatorio): (*)

a) {3n + 1 | n ∈ Z} = {1 − 3m | m ∈ Z}.
b) {2n − 3 | x ∈ Z} ( {m + 5 | m ∈ Z}.
c) {n + 1 | n ∈ N, x < 7} = {m | m ∈ Z, 0 < m < 8}.
d ) {−(n + 2) | n ∈ N} ⊆ {m | m ∈ Z, m ≤ −2}.

3. Mediante álgebra de conjuntos muestre que si U es el universal y A, B y C ⊆ U son conjuntos (debe entregar solo
2 numerales, c) es obligatorio): (*)

a) A = (A ∩ B) ∪ (A ∩ B).
b) (A ∪ B) − B = A − B.
c) A ∩ (B4C) = (A ∩ B)4(A ∩ C).
d ) (B4C) = (B ∪ C) − (B ∩ C)

4. Sea U el universal, A y B conjuntos. Muestre que (solo debe entregar un numeral):

a) Existe un conjunto C tal que C ⊆ A y A − C = A − B.

b) Existe un conjunto C disjunto de A y A ∪ C = A ∪ B.
c) Existe un conjunto C tal que C ⊆ A y A ∩ C = A ∩ B.