Universidad de guayaquil

Nivelación y admisiones CI
2023-2024
2

Facultad de ciencias matemáticas

y físicas

Misno-9 Fundamentos de
Programación
Javier Sebastián
Mora Basurto
 2

NIVELACIÓN Y ADMISIÓN

TAREA

FORMAS PROPOSICIONALES Y TAUTOLOGÍA

2023
FACULTAD: CIENCIAS MATEMÁTICAS Y FÍSICAS
CURSO: Misno-9 SECCIÓN: Fundamentos de la
programación

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

FECHA ENTREGA: 7/9/2023 HORA: 4:33

TIPO TAREA: Deber MODALIDAD: INDIVIDUAL

DETALLE

Empleando leyes, determine si las siguientes formas proposicionales son

tautología, contradicción o contingencia.
a) (r ∧ s) ∨ ¬ s
(r ∧ s) ∨ ¬ s ≡ (r ∨ ¬ s) ∧ (s ∨ ¬ s) ≡ (r ∨ ¬ s) ∧ T ≡ r ∨ ¬ s
Contingencia

b) ( p → q)→ (q → ¬ p)
(p → q)→ (q → ¬ p) ≡ (¬ p ∨ q)→ (¬ q ∨ ¬ p)
(¬ p ∨ q)→ (¬ q ∨ ¬ p) ≡ ¬ (¬ p ∨ q) ∨ (¬ q ∨ ¬ p) ≡ (p ∧ ¬ q) ∨ (¬ q ∨ ¬ p)
Contingencia

c) ¬ p → (p ∧ q)
¬ p → (p ∧ q) ≡ ¬ (¬ p) ∨ (p ∧ q) ≡ p ∨ (p ∧ q)
p ∨ (p ∧ q) ≡ p
Contingencia

d) ( p ∧ q) ∧ ( p → ¬ q)
(p ∧ q) ∧ (p → ¬ q) ≡ (p ∧ q) ∧ (¬ p ∨ ¬ q)
(p ∧ q) ∧ (¬ p ∨ ¬ q) ≡ p ∧ ¬ p
Contradiccion
e) ( p ∨ q) → [p ∨( ¬ p ∧ q)]
(p ∨ q) → [p ∨ (¬ p ∧ q)] ≡ (p ∨ q) → [(p ∨ ¬ p) ∧ (p ∨ q)] ≡ (p ∨ q) → (T ∧ (p ∨
q)) ≡ (p ∨ q) → (p ∨ q)
Tautologia
2

 El documento final será presentado en formato pdf.

 Siga el formato de presentación asignado.
 Cuide las faltas ortográficas.
 El nombre del archivo a subir debe cumplir el siguiente formato:
TAREA 4-S4-NOMBRE DEL ESTUDIANTE.