FACULTAD:

CIENCIAS MATEMATICAS Y FISICAS

MATERIA:
FUNDAMENTOS DE PROGRAMACION

NOMBRE:
JAIR IVAN PARRALES GARCIA

TEMA:
Leyes de Lógica: FORMAS PROPOSICIONALES Y
TAUTOLOGÍA.

PROFESOR:
Ing. Velasco Briones Carlos Angel

CURSO:
Misno 9 – N
2023 – 2024
• Empleando leyes, determine si las siguientes formas proposicionales son
tautología, contradicción o contingencia.

a) (r ∧ s) ∨ ¬ s 𝑟 ∨ ¬ s
• 𝑟∨¬s

𝑟 𝑠 𝑟 ∨ ¬𝑠
V V V
V F V
F V F
F F V

RESPUESTA: ES CONTINGENCIA
b) (p → q) → (q → ¬ p)
• (¬ p ∨ q) → (¬ q ∨ ¬ p)
• (¬ p ∨ q) → [¬ (q ∧ p)]
• ¬ (¬ p ∨ q) ∨ [¬ (q ∧ p)]
• (p ∨ q) ∨ [¬ (q ∧ p)] ≡ [¬ (q ∧ p)] ∨ (p ∨ q)
• A = (p ∨ q) ∨ [¬ (q ∧ p)]
• G = [¬ (q ∧ p)] ∨ (p ∨ q)

RESPUESTA: ES TAUTOLOGIA.

p q (p ∨ q) (q ∧ p) ¬ (q ∧ p) A G
V V V V F V V
V F V F V V V
F V V F V V V
F F F F V V V
c) ¬ p → (p ∧ q)
• ¬ (¬ p) ∨ (p ∧ q)
• p ∨ (p ∧ q) ≡ P

p q (p ∧ q) p ∨ (p ∧ q) ≡ P
V V V V V
V F F V V
F V F F F
F F F F F

RESPUESTA: ES CONTINGENCIA.

d) (p ∧ q) ∧ (p → ¬ q)
• (𝑝 ∧ 𝑞) ∧ (¬𝑝 ∨ ¬𝑞)
• (𝑝 ∧ 𝑞) ∧ [¬ (𝑝 ∧ 𝑞)] ≡ 0
• A = (𝑝 ∧ 𝑞) ∧ [¬ (𝑝 ∧ 𝑞)]

p q (𝑝 ∧ 𝑞) ¬ (𝑝 ∧ 𝑞) A
V V V F F
V F F V F
F V F V F
F F F V F

RESPUESTA: ES CONTRADICICION.
e) (p ∨ q) → [p ∨ (¬ p ∧ q)]
• (𝑝 ∨ 𝑞) → (𝑝 ∨ 𝑞)
• ¬ (𝑝 ∨ 𝑞) ∨ (𝑝 ∨ 𝑞) ≡ 1
• B = ¬ (𝑝 ∨ 𝑞) ∨ (𝑝 ∨ 𝑞)

p q (𝒑 ∨ 𝒒) ¬ (𝒑 ∨ 𝒒) B
V V V F V
V F V F V
F V V F V
F F F V V

RESOLVER: ES TAUTOLOGIA