LÓGICA Y TEORÍA DE CONJUNTOS

PRACTICA 1

Docente: Dr. José Pedro Rodríguez Ayllón

Estudiante: Prof. Edgar Germán Mancilla Garrado

1. Construya la tabla de verdad de los siguientes enunciados:

• p ⟹ ¬ q

p q ¬ q p ⟹ ¬ q
V V F F
V F V V
F V F V
F F V V

• [p ∧ (p ⟹ q)] ⟹ q

p q p ⟹ q p ∧ (p ⟹ q) [p ∧ (p ⟹ q)] ⟹ q
V V V V V
V F F F V
F V V F V
F F V F V

• [p ⟹ (q ∧ ¬ q)] ⟺ ¬ p

p q ¬ p ¬ q (q ∧ ¬ q) p ⟹ (q ∧ ¬ q) [p ⟹ (q ∧ ¬ q)] ⟺ ¬ p
V V F F F F V
V F F V F F V
F V V F F V V
F F V V F V V

• [p ∧ (q ∨ r)] ⟺ [(p ∧ q) ∨ (p ∧ r)]

p q r (q ∨ r) p ∧ (q ∨ r) (p ∧ q) (p ∧ r) (p ∧ q) ∨ (p ∧ r) [p ∧ (q ∨ r)] ⟺ [(p ∧ q) ∨ (p ∧ r)]

V V V V V V V V V
V V F V V V F V V
V F V V V F V V V
V F F F F F F F V
F V V V F F F F V
F V F V F F F F V
F F V V F F F F V
F F F F F F F F V
 • [p ∨ (q ∧ r)] ⟺ [(p ∨ q) ∧ (p ∨ r)]

p q r (q ∧ r) p ∨ (q ∧ r) (p ∨ q) (p ∨ r) (p ∨ q) ∧ (p ∨ r) [p ∨ (q ∧ r)] ⟺ [(p ∨ q) ∧ (p ∨ r)]

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

2. Identifique el antecedente y el consecuente de los siguientes enunciados.

• M tiene un autovalor siempre que M es singular.

Antecedente: M es singular.
Consecuente: M tiene un autovalor.

• La linealidad es condición suficiente para la continuidad.

Antecedente: La linealidad
Consecuente: La continuidad.

• Una sucesión acotada si es una sucesión de Cauchy.

Antecedente: Una sucesión de Cauchy
Consecuente: Es una sucesión acotada.

• x < 3 es necesario que y > 5.

Antecedente: x < 3.
Consecuente: y > 5

3. Sean los enunciados p: la figura es un polígono, y q: la figura es un círculo.

Exprese los siguientes enunciados con símbolos lógicos:

• La figura es un polígono o un círculo, pero no ambos.

(𝒑 ∨ 𝒒) ∧ ¬(𝒑 ∧ 𝒒)

• Si la figura no es un círculo, entonces es un polígono.

¬𝒒 ⟹ 𝒑

• La figura es un círculo siempre que no es un polígono.

¬𝒑 ⟹ 𝒒
 • La figura es un polígono si y solo si no es un círculo.

𝒑 ⇔ ¬𝒒

4. Escriba la negación de los siguientes enunciados.

• Algunos lápices son rojos.

➢ Todos los lápices son rojos

• Todas las sillas tienen cuatro apoyos.

➢ Algunas sillas tienen cuatro patas.

• Nadie en el equipo de futbol es más alto que 1.80 metros.

➢ Todos en el equipo de futbol son más altos que 1.80 metros.

• ∃x > 2 tal que f(x) = 7.

➢ ∀ x > 2 / f(x) ≠ 7

• ∀x ∈ A, ∃y > 2, tal que 0 < f(y) < f(x).

➢ ∃ x ∈ A, ∀ y > 2, tal que 0 ≥ f(y) ≥ f(x).

• Si x > 3, entonces ∀𝝐 > 𝟎 tal que 𝒙𝟐 > 𝟗 + 𝝐

➢ Si x > 3, entonces ∃ 𝝐 > 𝟎 tal que 𝒙𝟐 ≤ 𝟗 + 𝝐

• Ninguna matriz cuadrada es triangular.

➢ ∃𝒎/𝒎 𝒆𝒔 𝒕𝒓𝒊𝒂𝒏𝒈𝒖𝒍𝒂𝒓

• ∃x ∈ B tal que f(x) > k.

➢ ∀ 𝒙 ∈ 𝑩 𝒇(𝒙) ≤ 𝒌

5. Determine si los siguientes enunciados son verdaderos o falsos, donde se asume

que x, y, z ∈ R, es decir son números reales.

• ∃x en el intervalo [3, 5] tal que x ≥ 4. V

• ∀x en el intervalo [3, 5], x ≥ 4 F
• ∃x tal que 𝒙𝟐 ≠ 𝟑 V
• ∀x, 𝒙𝟐 ≠ 𝟑 F
• ∀x, ∃y tal que xy = 0. V
• ∀x, ∃y tal que xy = 1. F
• ∃y, ∀x tal que xy = 1. F
• ∀x, ∃y tal que xy = 1. F
• ∀x, ∃y tal que xy = x. V
• ∀x, y, ∃z tal que z > y implica que z > x + y. V
6. Suministre un contraejemplo de cada enunciado:

• ∀n ∈ Z, 𝒏𝟑 ≥ n.
➢ 𝑺𝒊: 𝒏 = −𝟑 ⟹ (−𝟑)𝟑 ≥ −𝟑
−𝟐𝟕 ≱ −𝟑

• ∀x ∈ R con x ≥ 0, tenemos que 𝒙𝟐 ≤ 𝒙𝟑

𝟏 𝟏 𝟐 𝟏 𝟑
➢ 𝑺𝒊: 𝒙 = ⟹( ) ≤( )
𝟐 𝟐 𝟐
𝟏 𝟏
≤
𝟒 𝟖

• ∀n ∈ N, 𝒏𝟐 + 𝒏 + 𝟒𝟏 es primo.
➢ Si 𝒏 = 𝟒𝟏 ⟹ 𝟒𝟏𝟐 + 𝟒𝟏 + +𝟒𝟏 = 𝟒𝟏(𝟒𝟏 + 𝟏 + 𝟏) = 𝟒𝟏 ∙ 𝟒𝟑

• Todo número primo es impar.

➢ 2 es Primo

• Para todo entero n > 3, 6 divide a 3n.

➢ Si 𝒏 = 𝟗 ⟹ 𝟑𝒏 = 𝟐𝟕
𝟔𝒌 = 𝟐𝟕
𝟐𝒌 = 𝟗

7. Sean “m, n” números enteros, Z. Recordemos que un entero q es par si q = 2k y

que q es impar is q = 2k + 1 donde k ∈ Z. Pruebe los siguientes enunciados:

• Si n y m son impares, entonces n + m es par.

➢ 𝑺𝒊: 𝒏 = 𝟐𝒌 + 𝟏 ∧ 𝒏 = 𝒎 = 𝟐𝒍 + 𝟏
𝑰𝒎𝒑𝒂𝒓 𝑰𝒎𝒑𝒂𝒓
𝒏 + 𝒎 = (𝟐𝒌 + 𝟏) + (𝟐𝒍 + 𝟏)
𝒏 + 𝒎 = 𝟐𝒌 + 𝟐𝒍 + 𝟏 + 𝟏
𝒏 + 𝒎 = 𝟐(𝒌 + 𝒍) + 𝟐
𝒏 + 𝒎 = 𝟐(𝒌 + 𝒍 + 𝟏)
𝑰𝒎𝒑𝒂𝒓 + 𝑰𝒎𝒑𝒂𝒓 = 𝑷𝒂𝒓

• Si n y m son impares, entonces nm es impar.

➢ 𝑺𝒊: 𝒏 = 𝟐𝒌 + 𝟏 ∧ 𝒏 = 𝒎 = 𝟐𝒍 + 𝟏
𝑰𝒎𝒑𝒂𝒓 𝑰𝒎𝒑𝒂𝒓
𝒏 + 𝒎 = (𝟐𝒌 + 𝟏) ∙ (𝟐𝒍 + 𝟏)
𝒏 + 𝒎 = 𝟒𝒌𝒍 + 𝟐𝒌 + 𝟐𝒍 + 𝟏
𝒏 + 𝒎 = 𝟐(𝟐𝒌𝒍 + 𝒌 + 𝒍) + 𝟏
𝑰𝒎𝒑𝒂𝒓 ∙ 𝑰𝒎𝒑𝒂𝒓 = 𝑰𝒎𝒑𝒂𝒓
• Si n es par o m es par, entonces nm es par.
➢ 𝒑∨𝒒⟹𝒓
𝑺𝒊: 𝒏 = 𝟐𝒌 ⟹ 𝒎 ∙ 𝒏 = 𝟐𝒌𝒎
𝑺𝒊: 𝒎 = 𝟐𝒍 ⟹ 𝒎 ∙ 𝒏 = 𝟐𝒍𝒏

• Si mn es impar, entonces m es impar o n es impar.

➢ 𝒑 ⟹𝒒∨𝒓

¬𝒑 ∨ (𝒒 ∨ 𝒓)
(¬𝒑 ∨ 𝒒) ∨ 𝒓

¬(𝒑 ∧ ¬𝒒) ⟹ 𝒓 𝑺𝒊: 𝒎 = 𝟐𝒌 ∧ 𝒏 = 𝟐𝒍

¬(𝒒 ∨ 𝒓) ⟹ ¬𝒑 ⟹ 𝒎 ∙ 𝒏 = 𝟐𝒌 ∙ 𝟐𝒍
¬𝒒 ∧ ¬𝒓 ⟹ ¬𝒑 𝒎 ∙ 𝒏 = 𝟐 ∙ (𝟐𝒌𝒍)
• Si 𝒎𝟐 es par, entonces m es par.
➢ 𝒑: 𝒎𝟐 𝐞𝐬 𝐩𝐚𝐫 𝑺𝒊: 𝒎𝟐 = 𝟐𝒌 ∧ 𝒏 = 𝟐𝒍 + 𝟏
𝒒: 𝐦 𝐞𝐬 𝐩𝐚𝐫
𝒑 ∧ ¬𝒒 ⟹ 𝑪𝒐𝒏𝒕𝒓𝒂𝒅𝒊𝒄𝒄𝒊ó𝒏 ⟹ 𝒎𝟐 = (𝟐𝒍 + 𝟏)𝟐

𝒎𝟐 = 𝟒𝒍𝟐 + 𝟐𝒍 + 𝟏

𝟐(𝟐𝒍𝟐 + 𝒍) + 𝟏 = 𝟐𝒌
𝑰𝒎𝒑𝒂𝒓 ⟹⟸ 𝑷𝒂𝒓

• Si 𝒎𝟐 es impar, entonces m es impar.

➢ 𝒑⟹𝒒
𝒑: 𝒎𝟐 𝐞𝐬 𝐢𝐦𝐩𝐚𝐫 𝑺𝒊: 𝒎 = 𝟐𝒌 ⟹ 𝒎𝟐 = (𝟐𝒌)𝟐
𝒒: 𝐦 𝐞𝐬 𝐩𝐚𝐫
𝟒𝒌𝟐 = 𝟐(𝟐𝒌𝟐 )
¬𝒒 ⟹ ¬𝒑
𝒎 = 𝟐𝒌 ⟹ 𝒎𝟐
𝑷𝒂𝒓 ⟹ 𝒎𝟐 𝑬𝒔 𝑷𝒂𝒓