Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Este trabajo debe ser dirigido a Juan Pablo Obando, Universidad Nacional Abierta y
Distancia
Contacto: jymojicav@unadvirtual.edu.co
TAREA 4
b. Expresión simbólica:
[ ( p ∨q ) ∧ ( p → r ) ∧ ( q → s ) ⋀ (¬ r)] → s
Premisas:
P1: p ∨q
P2: p →r
P3: q → s
P4: ¬ r
Conclusión: s
q: aprobó el examen
Premisas:
TAREA 4
P1: p ∨q
P2: p →r
P3: q→s
P4: ¬r
Conclusión: s