Lógica 2020-2

Actividad #3 Tablas

Brandon Esteban Vanegas Pinzon ID:806936

Ingeniería de sistemas, Facultad de Ingeniería Industrial y de Sistemas, Corporación

Universitaria Minuto De Dios

NRC 10-4366: Matemáticas Discretas

Profesor: Leidy Katerine Estepa Ávila

Mes: febrero 24, 2022

 Lógica 2020-2

TALLER 3: FÓRMULAS LÓGICAS

1. Establecer por medio de tablas de verdad y determinar si cada uno de los esquemas
moleculares, el resultado es: una tautología, contradicción o indeterminación:
a) (𝑝 → 𝑞) ∧ (𝑞 ∧ ¬𝑝)
b) ¬(𝑝 ∧ 𝑞) ↔ [(¬𝑝) ∨ (¬𝑞)]
c) ¬(𝑝 → 𝑞) ↔ ¬(¬𝑞 → ¬𝑝)
d) [(𝑝 ∧ 𝑞) ∧ ¬(𝑝 ∨ 𝑞) ∧ 𝑟]
Solución
a) Contingencia
p q ¬p (𝑝 → 𝑞) (𝑞 ∧ ¬𝑝) (𝑝 → 𝑞) ∧ (𝑞 ∧ ¬𝑝)
V V f v f f
v f f f f f
f v v v v v
f f v v f f
b) Tautología

p q ¬p ¬𝑄 ¬(𝑝 ∧ 𝑞) (¬𝑝) ∨ (¬𝑞) ¬(𝑝 ∧ 𝑞) ↔ [(¬𝑝) ∨ (¬𝑞)]

v v f f f f v
v f f v v v v
f v v f v v v
f f v v v v v
c) Tautología

P Q ¬P ¬𝑸 ¬(𝑝 → 𝑞) ¬(¬𝑞 → ¬𝑝) ¬(𝑝 → 𝑞) ↔ ¬(¬𝑞 → ¬𝑝)

V V F F f f v
V F F V v v v
F V V F f f v
F F V V f f v
 Lógica 2020-2
d) Contradicción
p q r (𝑝 ∧ 𝑞) ¬(𝑝 ∨ 𝑞) ¬(𝑝 ∨ 𝑞) ∧ 𝑟 [(𝑝 ∧ 𝑞) ∧ ¬(𝑝 ∨ 𝑞) ∧ 𝑟]

V V V v f f f
V V F v f f f
V F V f F F f
V F F f F F f
F V V f F F f
F V F f F F f
F F V f V V f
F F F f V f f

2. Complete la tabla de verdad y deducir la fórmula que genera dicha tabla. La fórmula se debe
escribir en la última columna de la primera fila.

𝒑 𝒒 ¬𝒑 ¬𝒒 (𝒑 → ¬𝒒) (𝒒˅¬𝒑) (𝒑 → ¬𝒒) ↔ (𝒒˅¬𝒑)

v v f f f v f
v f f v v f f
f v v f v v v
f f v v v v v

3. Completar las siguientes tablas y determinar si son equivalentes o no:

𝒑 𝒒 ¬𝒑 𝒑 → (¬𝒑 ∧ 𝒒) 𝒑 𝒒 ¬𝒒 (¬𝒒 ∨ 𝒑) → 𝒒
v v f f v v f v
v f f f v f v f
f v v v f v f v
f f v v f f v f

𝒑 → (¬𝒑 ∧ 𝒒) No es Equivalente a (¬𝒒 ∨ 𝒑) → 𝒒