Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Anexo - 3-Ejemplos para El Desarrollo Tarea 3 - Sustentación Unidades 1 o 2
Anexo - 3-Ejemplos para El Desarrollo Tarea 3 - Sustentación Unidades 1 o 2
1o2
Apreciados estudiantes.
Rtda:
1. 137 deportistas no han recibido ninguna medalla
Expresión simbólica:
[ ( p → q ) ∧ ( q → r ) ∧ ( r ∨ s ) ∧ ( s ) ]⟶ p
Premisas:
P1: p →q
P2: q→ r
P3: r∨s
P4: s
Conclusión: p
Desarrollo:
Premisas simples:
p: la ley fue aprobada
q: el pago de las horas queda como estaba
r: debemos trabajar más horas extras
s: el proyecto se retrasará un mes
leyes de inferencia:
Premisa 1: p →q
Premisa 2: q→ r
Premisa 3: r∨s
Premisa 4: s
__________________
5. r TP (3),(4)
6. q TT (2),(5)
7. p TT (1),(6) CONCLUSIÓN