FACULTAD:

CIENCIAS MATEMATICAS Y FISICAS

MATERIA:
FUNDAMENTOS DE PROGRAMACION

NOMBRE:
JAIR IVAN PARRALES GARCIA

TEMA:
Desarrollar los siguientes ejercicios de leyes proposicionales.

PROFESOR:
Ing. Velasco Briones Carlos Angel

CURSO:
Misno 9 – N
2023 – 2024
• Empleando leyes, determine si las siguientes formas proposicionales No es
tautología.

a) ¬ (p ∨ q) → (¬ p ∨ ¬ q) ley de de Morgan
- (¬p ∧ ¬q) → (¬ p ∨ ¬ q) ley condicional
- ¬ (¬p ∧ ¬q) ∨ (¬ p ∨ ¬ q) ley de doble negación
- (p ∨ q) ∨ (¬ p ∨ ¬ q)
- (p ∨ ¬ p) ∨ (q ∨ ¬ q)
RESPUESTA: si es tautológica.

b) (¬ p ∧ ¬ q) → ¬ (p ∨ q) ley de de Morgan
- (¬ p ∧ ¬ q) → (¬ p ∨ ¬ q) ley condicional
- ¬ (¬ p ∧ ¬ q) ∨ (¬ p ∨ ¬ q) ley de doble negación
- (p ∨ q) ∨ (¬ p ∨ ¬ q)
RESPUESTA: si es tautológica.

c) ¬ (¬ p ∧ ¬ q) ∨ ¬ q ley de de Morgan
- (p ∨ q) ∨ ¬ q ley asociativa
- p ∨ (q ∨ ¬ q) ley tercero excluido
- p∨ 1
RESPUESTA: si es una tautologia

d) [¬ p ∧ (¬ p ∨ q)] ∨ p ley de absorción

- ¬p ∨ p ley tercero excluida
- 1
RESPUESTA: si es una tautología
e) [p ∧ (p ∨ q)] → q ley de condicional
- ¬ [p ∧ (p ∨ q)] ∨ q ley de absorción
- ¬ (p ∨ q) ley de de Morgan
- ¬p ∧ ¬q
RESPUESTA: no es tautología.