Documente Academic
Documente Profesional
Documente Cultură
Premisas:
P1: (𝑝 ∨ 𝑞)
P2: (𝑝 ⟶∼ 𝑠)
P3: (𝑠)
P4: (𝑞 ⟶ 𝑟)
Conclusión: (𝑟 ∧ 𝑠)
p q r s -s pvq p->-s s q->r r∧s
v v v v f v f v v v
v v v f v v v f v f
v v f v f v f v f f
v v f f v v v f f f
v f v v f v f v v v
v f v f v v v f v f
v f f v f v f v v f
v f f f v v v f v f
f v v v f v v v v v
f v v f v v v f v f
f v f v f v v v f f
f v f f v v v f f f
f f v v f f v v v v
f f v f v f v f v f
f f f v f f v v v f
f f f f v f v f v f
TAUTOLOGIA
P3: (𝑠)
-------------------------
P5 : ∼ p
P5 : ∼ p
-------------------
P6: q
P6: q
-----------------------------
P7: r
P3: 𝑠
---------------
P8: 𝑟 ∧ 𝑠 Demostración
inferencia lógica