Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
ciclismo
Natación
Futbol
3
6 8
5 4
Ciclismo
A partir de la situación planteada dar respuesta las siguientes preguntas:
futbol y la natación?
A 3 personas le gusta
futbol y el ciclismo?
A 4 personas
natación y el ciclismo?
A 5 personas
A 20 personas
Premisas:
P1: (𝑝 → 𝑞) ∨ 𝑟
P2: 𝑟 →∼ 𝑝
P3: 𝑝 ∧ 𝑠
Conclusión: 𝑞 ∧ s
solución
p: está lloviendo.
Caminare, llevare sombrilla de camino a la universidad y por el camino comprare botas para la
lluvia
p q r s ¬p (p->q) (p->q)v r (r-> ¬p) [(p->q)v r]ʌ(r-> ¬p) (pʌs) [[[(p->q)v r]ʌ(r-> ¬p)]ʌ (pʌs)] (qʌs) [[[(p->q)v r]ʌ(r-> ¬p)]ʌ (pʌs)]->(qʌs)
v v v v f v v f f v f v v
v v v f f v v f f f f f v
v v f v f v v v v v v v v
v v f f f v v v v f f f v
v f v v f f v f f v f f v
v f v f f f v f f f f f v
v f f v f f f v f v f f v
v f f f f f f v f f f f v
f v v v v v v v v f f v v
f v v f v v v v v f f f v
f v f v v v v v v f f v v
f v f f v v v v v f f f v
f f v v v v v v v f f f v
f f v f v v v v v f f f v
f f f v v v v v v f f f v
f f f f v v v v v f f f v
inferencia lógica
p 1: ( p → q ) v r p 2:r → ¬ p p 3: p ʌ s p 4 : p simplificacion conjuntiva en p 3
p 5:¬ p negacionen P 4 p 6 :r modo ponendo pones p 2 y p 5 p 7 :¬r negacion p 6
p 8 : p → q modo tollendo pones p 1 y p 7 p 9 :q modo ponendo ponens p 8 y p 4
p 10: s simplificacion connuntiva p 3 p 11:q ʌ s adicion conjuntiva p 9 y p 10
∵qʌ s