Curso Preparatorio Práctica 1 -Lógica- ITBA

LÓGICA

Ejercicio 1
Siendo:
p: Buenos Aires es una provincia argentina
q: Tandil es una ciudad de la provincia de Entre Ríos
r: Córdoba y San Luis son provincias limítrofes

expresar simbólicamente las siguientes proposiciones y dar el valor de verdad de cada

una.

1. Si Buenos Aires es una provincia argentina, entonces Tandil es una ciudad de la provincia de
Entre Ríos.
2. Córdoba y San Luis son provincias limítrofes sí y solo sí Buenos Aires es una provincia
argentina.
3. Si Córdoba y San Luis son provincias limítrofes, entonces Buenos Aires es una provincia
argentina yTandil es una ciudad de la provincia de Entre Ríos.

Ejercicio 2
Construir la tabla de verdad e indicar en qué casos se trata de una tautología:
1. (p ⇒ q) ⇔ (¬p ∧ q)
2. (p ⇒ q) ⇔ (¬p ∨ q)
3. [p ⇒ (q ∧ r)] ∨ (¬q ∧ p)
4. [(p ⇒ q) ∧ (q ⇒ r)] ⇒ (p ⇒ r)

Ejercicio 3
Sabiendo que:
1. v(p ⇔ q) = V, ¿puede conocerse el valor de verdad de ¬p ⇔ q?
2. v(p ⇒ q) = V, ¿puede conocerse el valor de verdad de p ∧ q?
3. v(p ∨ q) = V y v(¬q) = V, ¿puede conocerse el valor de verdad de ((p ∨ q) ∧ ¬q) ⇒ q?

Ejercicio 4
Suponiendo que las proposiciones p, q, r y s tienen respectivamente los valores de verdad
V F F V, dar el valor de verdad de cada una de las siguientes proposiciones:

1. (p ∧ q) ∨ r
2. (p ∨ r) ⇔ (q ∧ ¬s)
3. (r ∧ s) ⇒ (q ⇒ (¬p ∨ s))
4. (p ∧ ¬q) ⇒ (¬s ∨ ¬p)
5. p ∧ (q ⇒ r)
6. ((p ∨ q) ∨ r) ∧ s
7. (p ∨ r) ⇔ (r ∧ ¬q)
8. (s ⇒ p) ⇒ r
9. s ⇒ (p ⇒ r)
10. (¬p ∧ ¬s) ⇒ (¬q ∧ r)
1
 Curso Preparatorio Práctica 1 -Lógica- ITBA

Ejercicio 5
Demostrar que cada una de las siguientes proposiciones es una tautología.
1. (q ∨ (p ∧ ¬p)) ⇔ q
2. (q ∧ (p ∨ ¬p)) ⇔ q
3. [(p ⇒ q) ∧ (r ⇒ q)] ⇔ [(p ∨ r) ⇒ q]

Ejercicio 6
Simplificar las siguientes proposiciones:
1. ¬(¬p ∨ q)
2. ¬(p ∧ q) ∧ (¬p ∨ q)
3. ¬(p ∨ q) ∨ (¬p ∧ q)
4. ((p ∧ q) ∨ (p ∧ ¬q)) ∨ (¬p ∧ ¬q)
5.[ (p ∨ q) ⇒ ¬q) ∧ (¬q ⇒ (p ∧ q)]

Ejercicio 7
Escribir simbólicamente, negar y escribir la negación coloquialmente:
1. Todo número entero es divisible por cinco
2. Todos los números pares son divisibles por cuatro
3. Si un número es divisible por cuatro, entonces es divisible por cinco o es un número par
4. El cuadrado de todo número real es mayor que 2.
5. Existen enteros cuyo cubo aumentado en 1 es igual al cubo del siguiente.

Ejercicio 8
Negar cada una de las siguientes proposiciones:
1. ∃x: x < 5 ∧ ∀x: x ≥ −1
2. ∃x: ((x ≤ 3) ⇒ (x ≥ 4 ∨ x ≤ 5))
3. ∀x: (x = 4 ∧ x − 3 ≤ 1)
4. ∀x: (x ≥ 3 ⇒ x ≤ 6)

Ejercicio 9
Demostrar que:

1. La suma de dos números pares es par.

2. El producto de dos números impares es impar.
3. Si un número es múltiplo de 3, su cuadrado también lo es.
4. El producto entre un número par y uno impar es par.
5. La suma de un número racional y uno irracional es irracional.
6. El producto de los cuadrados de dos números naturales consecutivos es un número par.
7. Si 5n+3 es par, entonces n es impar (n∈ ℕ).

2
 Curso Preparatorio Práctica 1 -Lógica- ITBA

Ejercicios de integración

1) Demostrar:

a) Si a es múltiplo de b y c es múltiplo de b, entonces (a+ c) es múltiplo de b.

b) ∀𝒙 ∈ ℤ: (x2 + x + 1 es impar).

c) ∀𝒂 ∈ ℤ: si a2 no es múltiplo de 4, entonces a es impar.

d) ∀𝒙 ∈ ℤ: (𝒙 𝒆𝒔 𝒊𝒎𝒑𝒂𝒓 ⟺ 𝒙𝟑 𝒆𝒔 𝒊𝒎𝒑𝒂𝒓).

2) Demostrar que las siguientes proposiciones son falsas:

1) ∀𝒙 ∈ ℤ: (𝒙𝟐 − 𝒙 𝒆𝒔 𝒑𝒂𝒓 ⇒ 𝒙 𝒆𝒔 𝒑𝒂𝒓)

2) ∃𝒚 ∈ ℕ: (𝒚𝟐 + 𝟏 = 𝟎)

3) Negar y analizar el valor de verdad de:

∀𝒙 ∈ ℝ: [𝟑𝒙 − 𝟏 = 𝟕 ⇒ (𝒙 > 𝟎 ∧ 𝒙𝟐 < 𝟏)]