FACULTAD DE CIENCIAS NATURALES Y MATEMÁTICAS

CURSO DE NIVELACIÓN FEBRERO 2023

TALLER 1
jueves 16 de febrero de 2023

FRANJA 4

TEMA 1

Dada las proposiciones simples a, b, c, d, e y la proposición compuesta FALSA:

¬(𝐚 ∨ 𝐛) ∨ [(𝐛 ∨ 𝐜) ↔ ¬𝐝] ∨ (𝐞 ∨ 𝐝)

Determine el valor de verdad de la siguiente proposición compuesta

(𝐚 ⟶ ¬𝐛) ∨ [¬(𝐜 ↔ ¬𝐝) ∧ ¬(𝐞 ⟶ 𝟏)]

Solución:

Para que la proposición compuesta sea falsa, debe cumplirse que la disyunción sea falsa, esto
ocurre cuando todos los operandos de la disyunción son falsas; es decir:

¬(𝐚 ∨ 𝐛) ≡ 𝟎

[(𝐛 ∨ 𝐜) ↔ ¬𝐝] ≡ 𝟎

(𝐞 ∨ 𝐝) ≡ 𝟎

Tomando la tercera proposición, para que (𝐞 ∨ 𝐝) ≡ 𝟎 se debe cumplir.

𝐞 ≡ 𝟎 𝐲 𝐝 ≡ 𝟎;

Con ello reemplazando en la proposición [(𝐛 ∨ 𝐜) ↔ ¬𝐝] ≡ 𝟎 podemos obtener los demás
valores de verdad

[(𝐛 ∨ 𝐜) ↔ ¬𝟎] ≡ 𝟎

[(𝐛 ∨ 𝐜) ↔ 𝟏] ≡ 𝟎

Para que se cumpla la expresión (𝐛 ∨ 𝐜) ≡ 𝟎; de ahí que 𝐛 ≡ 𝟎 𝐲 𝐜 ≡ 𝟎

Finalmente,

¬(𝐚 ∨ 𝐛) ≡ 𝟎, es decir; 𝐚 ∨ 𝐛 ≡ 𝟏, esto es 𝐚 ∨ 𝟎 ≡ 𝟏, por lo que 𝐚 ≡ 𝟏

Para determinar el valor de verdad de la proposición, reemplazamos los valores obtenidos

(𝐚 ⟶ ¬𝐛) ∨ [¬(𝐜 ↔ ¬𝐝) ∧ ¬(𝐞 ⟶ 𝟏)]

(𝟏 ⟶ ¬𝟎) ∨ [¬(𝟎 ↔ ¬𝟎) ∧ ¬(𝟎 ⟶ 𝟏)]

(𝟏 ⟶ 𝟏) ∨ [¬(𝟎 ↔ 𝟏) ∧ ¬(𝟎 ⟶ 𝟏)]

𝟏 ∨ [¬(𝟎) ∧ ¬(𝟏)]

𝟏 ∨ [𝟏 ∧ 𝟎]

𝟏 ∨ 𝟎

Rúbrica

Puntaje en
Criterio
Porcentaje
Analiza correctamente la proposición compuesta
estableciendo las condiciones en los diferentes hasta 30%
operadores lógicos presentes en la estructura dada
Obtiene correctamente el valor de verdad de las
hasta 30%
proposiciones simples
Obtiene correctamente el valor de verdad de la
hasta 40%
proposición
TEMA 2

Empleando álgebra proposicional, determine si la forma proposicional:

[(¬𝑝 ∨ 𝑞) ∧ (¬𝑟 → ¬𝑞)] → (𝑝 → 𝑟)

Es:

a) Tautología
b) Contradicción
c) Contingencia
d) Equivalente a 𝑟
e) Equivalente a ¬𝑝
Solución:
[(¬𝑝 ∨ 𝑞) ∧ (¬𝑟 → ¬𝑞)] → (𝑝 → 𝑟) ≡ ¬[(¬𝑝 ∨ 𝑞) ∧ (𝑟 ∨ ¬𝑞)] ∨ (¬𝑝 ∨ r) Ley de la Implicación

≡ [¬(¬𝑝 ∨ 𝑞) ∨ ¬(𝑟 ∨ ¬𝑞)] ∨ (¬𝑝 ∨ r) Ley de Morgan

≡ [(𝑝 ∧ ¬𝑞) ∨ (¬𝑟 ∧ 𝑞)] ∨ (¬𝑝 ∨ r) Ley de Morgan

≡ [¬𝑝 ∨ (𝑝 ∧ ¬𝑞)] ∨ [r ∨ (¬𝑟 ∧ 𝑞)] Ley Conmutativa y

Asociativa de la disyunción

≡ [(¬𝑝 ∨ 𝑝) ∧ (¬𝑝 ∨ ¬𝑞)] ∨ [(r ∨ ¬𝑟) ∧ (𝑟 ∨ 𝑞)] Ley

distributiva

≡ [1 ∧ (¬𝑝 ∨ ¬𝑞)] ∨ [1 ∧ (𝑟 ∨ 𝑞)] Ley del tercero excluido

≡ (¬𝑝 ∨ ¬𝑞) ∨ (𝑟 ∨ 𝑞) Ley de obsorción

≡ (¬𝑝 ∨ r) ∨ (¬𝑞 ∨ 𝑞) Ley conmutativa y asociativa

≡ (¬𝑝 ∨ r) ∨ 1 Ley del tercero excluido

≡ 1 Ley de absorción

Luego la forma proposicional es una tautología. La opción correcta es el literal a)

Rúbrica

Puntaje en
Criterio
porcentaje
Aplica correctamente propiedades asociadas con la implicación hasta 15%
Aplica correctamente las leyes de Morgan hasta 15%
Aplica correctamente la propiedad conmutativa hasta 10%
Aplica correctamente la propiedad asociativa hasta 10%
Aplica correctamente la propiedad distributiva hasta 15%
Aplica correctamente la ley de tercero excluido hasta 15%
Aplica correctamente la ley de absorción hasta 10%
Concluye correctamente que la forma proposicional es una tautología hasta 10%