Академический Документы
Профессиональный Документы
Культура Документы
Presentado por:
Carlos Alberto Marín
Presentado a:
Introducción
[(𝑟 → ¬𝑞) ∧ (𝑝 ∨ 𝑠) ∧ (𝑞 ∧ 𝑝) ] →¬r
Premisas:
P1: (r → ¬q)
P2: (p ∨ s)
P3: (q ∧ p)
Conclusión: ¬r
● Definir las proposiciones simples:
p: estudio
q: gano el curso
r: pierdo el examen
s: veo netflix
Si pierdo el examen entonces no gano el curso. Estudio o veo Netflix.
Gano el curso y estudio. Por lo tanto, no pierdo el examen.
𝑟 𝑞 𝑝 𝑠 ¬𝑞 ¬𝑟 (𝑟 → ¬𝑞) (𝑝 ∨ 𝑠) (𝑟 → ¬𝑞) (𝑞 ∧ 𝑝) (𝑟 → ¬𝑞) ∧ [(𝑟 → ¬𝑞) ∧ (𝑝 ∨
∧ (𝑝 ∨ 𝑠) (𝑝 ∨ 𝑠) ∧ (𝑞 𝑠) ∧ (𝑞 ∧ 𝑝)] →¬r
∧ 𝑝)
v v v v f f f v f v f v
v v v f f f f v f v f v
v v f v f f f v f f f v
v v f f f f f f f f f v
v f v v v f v v v f f v
v f v f v f v v v f f v
v f f v v f v v v f f v
v f f f v f v f f f f v
f v v v f v f v f v f v
f v v f f v f v f v f v
f v f v f v f v f f f v
f v f f f v f f f f f v
f f v v v v v v v f f v
f f v f v v v v v f f v
f f f v v v v v v f f v
f f f f v v v f f f f v