EJERCICIOS RESUELTOS

1-1-2013
Asignatura:
Competencia Lógico
Matemático
[Subtítulo del documento]

Tema: Lógica Proposicional y Conjuntos

UNIVERSIDAD SEÑOR DE SIPAN
Problema 01:

Sean p, q, r, t proposiciones. Si [(~𝑝) ⋀ 𝑞] → [(𝑟 → 𝑝) V t ] es una proposición falsa, hallar el valor

de verdad de: p, r, s y t.

Solución:

Para que:

[(~𝑝) ∩ q] → [(𝑟 → 𝑝) ∪ t ] ≅ 𝐹, se debe cumplir:

 [(~𝒑) ∩ 𝐪] ≅ 𝑽
o (~𝒑) ≅ 𝑽 … (𝒑 ≅ 𝑭)
o 𝐪≅𝑽

 [(𝒓 → 𝒑) ∪ 𝐭 ] ≅ 𝑭
o (𝒓 → 𝒑) ≅ 𝑭 … (𝒓 ≅ 𝑽)
o 𝐭≅𝑭

Por lo tanto:

- (𝒑 ≅ 𝑭)
- (𝒓 ≅ 𝑽)
- (𝐭 ≅ 𝑭)

Problema 02:

Si no apruebas o no resuelves este problema, entonces es falso que, hayas estudiado o domines
la deducción lógica. Pero no dominas la deducción lógica aunque has estudiado.
A)[(~p ∨ ~q) → (~r ∨ s)] ⋀ ~s ⋀ r B) [(~p ∨ ~q) → (~r ∨ s)] ∨~s ⋀ r
C) [~(p ∨ q) → ~(r ∨ s)] ⋀ ~s ⋀ r D) [(~p ∨ ~q) → ~(r ∨ s)] ⋀ ~s ⋀ r
E) [(~p ∨ ~q) → ~(r ∨ s)] ⋀ s ⋀ r

Solución

Proposiciones:

 p: Apruebas.
 q: Resuelves este problema.
 r: hayas estudiado.
 s: domines la deducción lógica.

Si no apruebas o no resuelves este problema … (~p ∨ ~q)

Hayas estudiado o domines la deducción lógica … (r ∨ s)

Si no apruebas o no resuelves este problema, entonces es falso que, hayas estudiado o domines
la deducción lógica. … [(~p ∨ ~q) → ~(r ∨ s)]
Pero no dominas la deducción lógica aunque has estudiado. … ~s ⋀ r

Si no apruebas o no resuelves este problema, entonces es falso que, hayas estudiado o domines
la deducción lógica. Pero no dominas la deducción lógica aunque has estudiado.
[(~p ∨ ~q) → ~(r ∨ s)] ⋀ ~s ⋀ r

Problema 03:

No es un buen deportista pero sus notas son excelentes. Es equivalente a:

A) No es cierto que, sea un buen deportista o sus notas sean excelentes.
B) No es cierto que, sea un buen deportista o sus notas no sean excelentes.
C) No es cierto que, no sea un buen deportista o sus notas no sean excelentes.
D) No es cierto que, no sea un buen deportista o sus notas sean excelentes.
E) No es cierto que, es un buen deportista y sus notas no sean excelentes.

Solución

Proposiciones:

 p: Es un buen deportista.
 q: Sus notas son excelentes
 No es un buen deportista pero sus notas son excelentes. … ~p ⋀ q

B) No es cierto que, sea un buen deportista o sus notas no sean excelentes.

~ (p ∨ ~q) ≅ ~p ⋀ q

Problema 04:

Al construir la tabla de verdad de:

(p ∨ ~q) → (p ⋀ ~q)

El número de valores verdaderos en el resultado es:

Solución

Tabla de Verdad:

p q (p ∨ ~q) → (p ⋀ ~q)
V V V→ F ≅ F
V F V→ V ≅ V
F V F→ F ≅ V
F F V→ F ≅ F

El número de valores verdaderos en el resultado es: 2.

Problema 05:

¿Cuáles de las siguientes proposiciones son lógicamente equivalentes?

I. ~p ⋀ ~q
II. ~p → q
III. p∨q

Solución

Realizamos las tablas de verdad de cada una de las proposiciones.

 ~p ⋀ ~q

p q ~p ⋀ ~q
V V F

V F V
F V F
F F F

 ~p → q

p q ~p → q
V V V

V F V
F V V
F F F

 p∨q

p q p∨q

V V V

V F V
F V V
F F F

Son lógicamente equivalentes: II y III.

Problema 06.

Dados los conjuntos:

Determinar:

Solución:

Resolvamos Gráficamente:
Problema 07.

Dado los conjuntos:

Solución:
Problema 08.

Solución:
Problema 09

Solución:
Problema 10

Para los conjuntos A, B y C afirmamos:

¿Cuántas son verdaderas?

Solución:

Respuesta: Todas son verdaderas.