Tarea 4 - Sustentación Unidades 1, 2 o 3
Tarea 4 - Sustentación Unidades 1, 2 o 3
Tarea 4 - Sustentación Unidades 1, 2 o 3
Estudiante
Tutor
Leyes de inferencia:
Premisas:
P1: p → q
P2: q → r
P3: p ∨ q
P4: p → r SH 1, 2
P5: r SD 2, 3, 4
Conclusión: r
Referencias bibliográficas
Cardona, T. S. A. (2010). Lógica matemática para ingeniería de
sistemas y computación. (pp. 78 - 99). Ediciones Elizcom, Madrid.
Recuperado de
https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.actio
n?ppg=81&docID=3199701&tm=1529336485971