• Asignatura: Matemáticas
  • Autor: fabianaranda652
  • hace 8 años

URGENTE ALGUIEN QUE ME PUEDA AYUDAR EN ESTE PROBLEMA DE LÓGICA MATEMÁTICA.

Adjuntos:

Respuestas

Respuesta dada por: irmajulia
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