FACULTAD DE CIENCIAS NATURALES Y MATEMÁTICAS

CURSO DE NIVELACIÓN ONLINE FEBRERO 2022

TUTORÍA No 4 DE MATEMÁTICAS
Lunes 14 de febrero de 2022

Capítulo Secciones

2.5 Predicados de una variable

2.6 Razonamientos con predicados y cuantificadores
2 CONJUNTOS
2.7 Pares ordenados y producto cartesiano
2.8 Predicados de dos variables

TEMAS

1) Sea el conjunto referencial 𝑅𝑒 = {10, 15, 20, 25} y los predicados:

𝑝(𝑥): 𝑥 𝑒𝑠 𝑚𝑎𝑦𝑜𝑟 𝑞𝑢𝑒 12
𝑞(𝑥): 𝑥 𝑒𝑠 𝑚𝑒𝑛𝑜𝑟 𝑞𝑢𝑒 22
Tabule cada uno de los siguientes conjuntos:

a. 𝐴[𝑝(𝑥) ∧ 𝑞(𝑥)]
b. 𝐴[𝑝(𝑥) ∨ ¬𝑞(𝑥)]
c. 𝐴[𝑝(𝑥) ⊻ 𝑞(𝑥)]
d. 𝐴[𝑝(𝑥) → 𝑞(𝑥)]

2) Dado el conjunto 𝑅𝑒 = {1, 2, 3, 4, 5, 6} y los predicados de una variable:

𝑝(𝑥): 𝑥 𝑒𝑠 𝑢𝑛 𝑛ú𝑚𝑒𝑟𝑜 𝑝𝑎𝑟
𝑞(𝑥): 𝑥 𝑒𝑠 𝑚𝑎𝑦𝑜𝑟 𝑞𝑢𝑒 7
𝑟(𝑥): 𝑥 𝑒𝑠 𝑚𝑒𝑛𝑜𝑟 𝑞𝑢𝑒 10
𝑠(𝑥): 𝑥 𝑒𝑠 𝑛ú𝑚𝑒𝑟𝑜 𝑖𝑚𝑝𝑎𝑟
Identifique el valor de verdad de las siguientes proposiciones:

a. 𝐴[𝑝(𝑥) ∨ 𝑞(𝑥)] = ∅
b. 𝐴[𝑝(𝑥) → 𝑞(𝑥)] = {1, 3, 5}
c. [𝐴(¬𝑝(𝑥)) ∩ 𝐴(¬𝑞(𝑥))] ∪ 𝐴𝑠(𝑥) = {2, 4, 6}
d. 𝐴[𝑝(𝑥) → 𝑠(𝑥)] = 𝑅𝑒
e. (𝐴𝑟(𝑥) = ∅) ∧ (𝐴𝑞(𝑥) = 𝑅𝑒)

3) Empleando Álgebra de conjuntos, con el método de Demostración directa y justificando su

procedimiento paso a paso, pruebe la siguiente propiedad de los conjuntos de verdad:

∀𝑥[𝑝(𝑥) ∧ 𝑞(𝑥)] ⇔ [∀𝑥 𝑝(𝑥)] ∧ [∀𝑥 𝑞(𝑥)]

4) Considere las siguientes premisas de un razonamiento:
P1: Todos los doctores son mayores de 30 años
P2: Existen personas mayores de 30 años que son cocineros.
P3: José es cocinero.

Entonces, una conclusión que hace VÁLIDO el razonamiento es:

a. José es doctor.
b. José tiene más de 30 años.
c. José es cocinero, pero no doctor.
d. Existen doctores que son mayores de 30 años.
e. Ningún doctor es cocinero.

5) Dadas las siguientes premisas:

P1: Todos los policías usan uniforme.
P2: Todos los militares usan uniforme.
P3: Ningún policía es militar.

Entonces, una conclusión lógicamente inferida de las premisas dadas es:

a. Todos los que usan uniforme no son policías.
b. Existen militares que son policías.
c. Ningún militar es policía.
d. Todos los que usan uniforme son policías.
e. Todos los que usan uniforme no son militares.

6) Sean 𝐴 = {𝑎, 𝑏, 𝑐} y 𝐵 = {𝑑, 𝑒} subconjuntos de 𝑅𝑒 = {𝑎, 𝑏, 𝑐, 𝑑, 𝑒, 𝑓}. Entonces, es verdad

que:

a. 𝐴𝐶 − 𝐵𝐶 = {𝑎, 𝑐, 𝑑} ∪ 𝐵
b. 𝑁(𝐴 × 𝐵) = 8
c. 𝑁(𝐴𝐶 × 𝐵) = 𝑁(𝐴 × 𝐵𝐶 )
d. 𝐵 × (𝐵𝐶 − 𝐴) = {(𝑑, 𝑓), (𝑒, 𝑓)}
e. (𝐴 − 𝐵)𝐶 ∩ 𝐴 = 𝑅𝑒

7) Dados los conjuntos:

𝐴 = {1, 2, 3, 4} 𝐵 = {(𝑎, 1), (𝑏, 3), (𝑐, 1)} 𝐶 = {𝑎, 𝑏, 𝑐, 𝑑}

Indique el valor de verdad de las siguientes proposiciones:

a. ((𝑏, 4), (𝑏, 3)) ∈ (𝐶 × 𝐴) × 𝐵

b. (1, (𝑏, 3)) ∈ 𝐴 × 𝐵
c. ((𝑐, 1), 3, 𝑐) ∈ 𝐵 × (𝐴 × 𝐶)
d. ((𝑏, 3), (3, 𝑏)) ∈ 𝐵 × (𝐴 × 𝐶)
e. ((𝑎, 1), (𝑎, 1)) ∈ 𝐵 × (𝐴 × 𝐶)
8) Utilizando el método de Demostración directa, pruebe la siguiente propiedad del producto
cartesiano empleando las Leyes del Álgebra Proposicional:
(𝐴 − 𝐵) × 𝐶 = (𝐴 × 𝐶) − (𝐵 × 𝐶)

9) Dados los conjuntos referenciales 𝑅𝑒𝑥 = {−2, −1, 0, 1, 2, 3} y 𝑅𝑒𝑦 = {−2, −1, 0, 1, 2}, y el
predicado 𝑝(𝑥, 𝑦): 𝑥 𝑒𝑠 𝑚𝑒𝑛𝑜𝑟 𝑜 𝑖𝑔𝑢𝑎𝑙 𝑞𝑢𝑒 𝑦. Determine el valor de verdad de las
siguientes proposiciones:

a. ∀𝑥∃𝑦 𝑝(𝑥, 𝑦)
b. ∃𝑥∀𝑦 𝑝(𝑥, 𝑦)
c. ∃𝑦 𝑝(3, 𝑦)
d. ∀𝑦 𝑝(−2, 𝑦)
e. ∀𝑦 ¬𝑝(𝑦, 𝑦)

10) Dados los conjuntos referenciales 𝑅𝑒𝑥 = {1, 2, 3} y 𝑅𝑒𝑦 = {1, 3, 5}, y los predicados 𝑝(𝑥, 𝑦)
y 𝑞(𝑥, 𝑦). Si se conoce que:
(𝑝(2, 3) → ¬𝑞(1, 5)) ≡ 0 𝑦 (𝑞(3, 3) ∧ 𝑝(1, 3) ∧ 𝑝(3, 3)) ≡ 1

Justificando su respuesta, identifique cuál de las siguientes proposiciones es FALSA:

a. ∃𝑦∀𝑥 𝑞(𝑥, 𝑦)
b. ∃𝑥∃𝑦 𝑝(𝑥, 𝑦)
c. ∃𝑦∃𝑥 𝑝(𝑥, 𝑦)
d. ∃𝑥∃𝑦 𝑞(𝑥, 𝑦)
e. ∀𝑥∃𝑦 𝑝(𝑥, 𝑦)

11) Considerando 𝑅𝑒𝑥 = 𝑅𝑒𝑦 = 𝑅𝑒𝑧 = ℝ, escriba la negación de las siguientes proposiciones:

a. ∀𝑥∃𝑦 [( 𝑥 + 3𝑦 > 4) → (𝑥 − 2𝑦 ≤ 5)]

b. ∃𝑥∀𝑦∃𝑧 [¬(𝑥 − 2𝑦 < 𝑧) → (𝑧 + 1 ≥ 𝑥 + 𝑦)]