Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Integrante
Farley Antonio Valencia Perea
Cel: 3145900559
Grupo
200611_1797
Tutor
JADITH ROVIRA
Noviembre 2019
Desarrollo Tarea 4 – Sustentación tarea 1, 2 o 3
Expresión simbólica:
Determinación de Premisas:
P1: 𝑟∨𝑠
P2: ¬𝑝
P3: 𝑞 ∨ ¬𝑟
P4: 𝑞→𝑝
Conclusión: 𝑠
Desarrollo:
Proposiciones simples:
p q r s ∼p ∼r (𝒓 ∨ 𝒔) (𝒓 ∨ 𝒔) ∧ ¬𝒑 (𝒒 ∨ ¬𝒓) (𝒒 → 𝒑)
[(𝒓 ∨ 𝒔) ∧ ¬𝒑 ∧ (𝒒 ∨ ¬𝒓) ∧ (𝒒 → 𝒑)] → 𝒔
v v v v f f v f v v v
v v v f f f v f v v v
v v f v f v v f v v v
v v f f f v f f v v v
v f v v f f v f f f v
v f v f f f v f f f v
v f f v f v v f v f v
v f f f f v f f v f v
f v v v v f v v v v v
f v v f v f v v v v v
f v f v v v v v v v v
f v f f v v f f v v v
f f v v v f v v f v v
f f v f v f v v v v v
f f f v v v v v v v v
f f f f v v f f v v v
leyes de inferencia:
P1: 𝑟∨𝑠
P2: ¬𝑝
P3: 𝑞 ∨ ¬𝑟
P4: 𝑞→𝑝
P5: s p1, p3 tollendo Ponens
Conclusión: s