1

Razonamiento Lógico Matemático Mat-016.

Lógica y Conjuntos.
1. Sabiendo que ∼ (p ⇒ (r ∨ q)) es verdadera, determine el valor de verdad de la
siguiente proposición:

(p ∨ (q ∧ s)) ⇒ [p ⇒ (p ∨ (s ∧ t))]

2. Sea U = {−2, −1, 0, 1, 2}. Determine el valor de verdad de las siguientes

proposiciones:

(a) (∃x)(∀y)(xy = −y).

(b) (∀x)(∃y)(x < y ⇒ x2 + y 2 ≤ 1).
(c) (∃y)(∃x)(x < y ⇔ [x2 ≤ 1 ∧ y 2 > 1]).

3. Pruebe que para los conjuntos A, B, C en un mismo universo de referencia U ,

se tiene,
A − (B ∩ C) = (A − B) ∪ (A − C).

4. Defina por extensión los siguientes conjuntos:

(a) {x ∈ N : (∀y ∈ Nxy = y)}

(b) {x ∈ N : (∀y ∈ Nxy = x)}
(c) {∃x ∈ N : (y ∈ Nxy = y)}
(d) {∃x ∈ N : (y ∈ Nxy = x)}
 2

5. Demuestre que las siguientes proposiciones son equivalentes son equivalentes:

(a) A ∩ B = ∅
(b) A ⊂ B c
(c) B ⊂ Ac