FACULTAD DE CIENCIAS NATURALES Y MATEMÁTICAS

CURSO DE NIVELACIÓN ONLINE FEBRERO 2022

Solución Taller 1 Franja 1

Viernes 11 de febrero de 2022

TEMAS

1) Si se conoce que la siguiente proposición compuesta es FALSA:

[(𝑎 ∧ ¬𝑏) → 𝑐] ∨ ¬(𝑐 ∨ 𝑑)
Justificando su respuesta, determine el valor de verdad de cada una de las proposiciones
simples involucradas y de la nueva proposición compuesta:
(𝑎 ⊻ c) ↔ (𝑑 → ¬𝑏)

Conocemos que:
[(𝑎 ∧ ¬𝑏) → 𝑐] ∨ ¬(𝑐 ∨ 𝑑) ≡ 0

Por lo tanto, para que la disyunción sea falsa, se debe cumplir que:
[(𝑎 ∧ ¬𝑏) → 𝑐] ≡ 0 ∧ ¬(𝑐 ∨ 𝑑) ≡ 0

Analizando el primer término: [(𝑎 ∧ ¬𝑏) → 𝑐] ≡ 0, que tiene de operador principal el

condicional, para que sea falso, se debe cumplir que:
(𝑎 ∧ ¬𝑏) ≡ 1 ∧ 𝑐 ≡ 0

De aquí, para que la conjunción sea verdadera: (𝑎 ∧ ¬𝑏) ≡ 1, se debe cumplir que:
𝑎≡1 ∧ 𝑏≡0

Analizamos la expresión del segundo término: ¬(𝑐 ∨ 𝑑) ≡ 0

𝑐∨𝑑 ≡1
Pero, obtuvimos previamente que 𝑐 ≡ 0, por lo tanto:
𝑑≡1
Así, los valores de verdad de las proposiciones simples son:
𝑎≡1
𝑏≡0
𝑐≡0
𝑑≡1

Al reemplazar estos valores de verdad en la nueva proposición compuesta, nos queda:

(𝑎 ⊻ c) ↔ (𝑑 → ¬𝑏)
(1 ⊻ 0) ↔ (1 → ¬0)
(1) ↔ (1 → 1)
1↔1≡1
2) Definiendo las proposiciones simples, cuyos valores de verdad son conocidos, escriba la
traducción al lenguaje formal de la siguiente proposición compuesta:
"Basta que trabaje duro, para cumplir mis metas. Además, cumplo mis metas solamente si
alcanzo el éxito. Luego, yo trabajo duro puesto que cumplo mis metas y alcanzo el éxito."

Sean las proposiciones simples:

a: Yo trabajo duro.
b: Yo cumplo mis metas.
c: Yo alcanzo el éxito.

Podemos reemplazarlas en la proposición compuesta como sigue:

Basta que a, para b. Además, b solamente si c. Luego, a puesto que b y c.

A continuación, reemplazamos las expresiones gramaticales por el operador lógico que

representan y obtenemos:
[(𝑎 → 𝑏) ∧ (𝑏 → 𝑐)] → [(𝑏 ∧ 𝑐) → 𝑎]

3) Utilizando Álgebra Proposicional, determine si la siguiente forma proposicional es una

tautología, contradicción o contingencia:
𝐴: [(𝑝 ∧ ¬𝑟) → (¬𝑞 → 𝑝)] ∨ (¬𝑟 ∧ 𝑞)

[(𝑝 ∧ ¬𝑟) → (¬𝑞 → 𝑝)] ∨ (¬𝑟 ∧ 𝑞) Ley de Implicación

≡ [(𝑝 ∧ ¬𝑟) → (¬(¬𝑞) ∨ 𝑝)] ∨ (¬𝑟 ∧ 𝑞) Ley Involutiva
≡ [(𝑝 ∧ ¬𝑟) → (𝑞 ∨ 𝑝)] ∨ (¬𝑟 ∧ 𝑞) Ley Implicación
≡ [¬(𝑝 ∧ ¬𝑟) ∨ (𝑞 ∨ 𝑝)] ∨ (¬𝑟 ∧ 𝑞) Ley de De Morgan
≡ [(¬𝑝 ∨ ¬(¬𝑟)) ∨ (𝑞 ∨ 𝑝)] ∨ (¬𝑟 ∧ 𝑞) Ley Involutiva
≡ [(¬𝑝 ∨ 𝑟) ∨ (𝑞 ∨ 𝑝)] ∨ (¬𝑟 ∧ 𝑞) Ley Asociativa
≡ [(¬𝑝 ∨ 𝑝) ∨ (𝑞 ∨ 𝑟)] ∨ (¬𝑟 ∧ 𝑞) Ley de Tercero Excluido
≡ 1 ∨ (𝑞 ∨ 𝑟) ∨ (¬𝑟 ∧ 𝑞) Ley de Absorción
≡1 Tautología