reglas de inferencia ejemplo simplificación disyuntiva

1
Instrucciones: Utiliza las reglas de inferencia para demostrar la conclusión que se pide, justifica tu respuesta. 1. En la escuela Juan tuvo 10 de promedio en matemáticas o 10 de promedio en física, si Juan tuvo 10 de promedio en matemáticas entonces se ganará un viaje y si Juan tuvo 10 de promedio en física entonces se ganará un viaje, lo anterior es suficiente para que Juan se ganará un viaje. p: Juan tiene 10 de promedio en matemáticas q: Juan tiene 10 de promedio en física r: Juan se gana un viaje ley de la simplificación disyuntiva: Premisa 1: Juan tiene promedio de 10 en Matemáticas o Física Premisa 2: si tiene promedio de 10 en matemáticas ganará un viaje Premisa 3: Si tiene promedio de 10 en Física ganará un viaje Conclusión: Ganará un viaje ([pvq)^(p r) (q r)]) r p p q q q q pVq Ʌ p→r Ʌ q r ([pvq)^(p r)^(q r]) r v v v v v v v v v v v v v v vv f v f f f f v vf vv v v v v v vf f v f f f v v f v vv v v v v v f v f v v v f f v f f vf f v f v v f f f f f v f v v

Transcript of reglas de inferencia ejemplo simplificación disyuntiva

Page 1: reglas de inferencia ejemplo simplificación disyuntiva

Instrucciones: Utiliza las reglas de inferencia para demostrar la conclusión que se pide, justifica tu respuesta.

1. En la escuela Juan tuvo 10 de promedio en matemáticas o 10 de promedio en física, si Juan tuvo 10 de promedio en matemáticas entonces se ganará un viaje y si Juan tuvo 10 de promedio en física entonces se ganará un viaje, lo anterior es suficiente para que Juan se ganará un viaje.

p: Juan tiene 10 de promedio en matemáticas

q: Juan tiene 10 de promedio en física

r: Juan se gana un viaje

ley de la simplificación disyuntiva:

Premisa 1: Juan tiene promedio de 10 en Matemáticas o Física

Premisa 2: si tiene promedio de 10 en matemáticas ganará un viaje

Premisa 3: Si tiene promedio de 10 en Física ganará un viaje

Conclusión: Ganará un viaje

([pvq)^(p r) (q r)]) r➙ ⋏ ➙ ➙

pp

qq

qq

pVq Ʌ p→r Ʌ q r➙ ([pvq)^(p r)^(q r]) r➙ ➙ ➙

vv

vv

vv

v vv

v vv

v v

v v f v f f f f v

v f v v v v v v v

v f f v f f f v v

f v v v v v v v v

f v f v v v f f v

f f v f f v f v v

f f f f f v f v v