Respuestas
Respuesta dada por:
0
Los argumento se pueden validar mediante una de las de leyes de inferencias llamada Modus Ponens:
1. Tomamos P1 y P3
P1 : p → q
P3: p ∨ -r
∴ q
2. Tomamos P2 y P3
P1 : -r → s
P3: p ∨ -r
∴ s
3. Unimos las dos conclusiones parciales y obtenemos q ∨ s
Preguntas similares
hace 6 años
hace 6 años
hace 9 años
hace 9 años
hace 9 años