Demuestra el siguiente argumento por medio de las reglas de repetición, doble negación, conjunción, simplificación, adición, silogismo disyuntivo, modus ponens, modus tollens, silogismo hipotético, transposición, conmutación, asociación, tautología, y distribución. O, si no puede demostrarse, proporciona un prueba de invalidez.
Adjuntos:
Respuestas a la pregunta
Contestado por
0
Respuesta:
Disculpa pero no entiendo tu DOCX solo sale caras y emoticones
rodopinong:
Hola ¿Puedes prestarme tu correo, por favor? te lo envío.
1. (q ∧ p) ∨ ((s ∧ r) ∧ (m ∧ ~r))
2. (m ∨ q) ⊃ ((q ∨ s) ⊃ (~s ∨ ~(p ∨ ~r)))
3. ((q ∧ ~s) ∨ l) ⊃ ((l ∨ ~s) ⊃ (~s ⊃ (m ⊃ n)))
4. ~(n ⊃ j) ⊃ ~((~r ∨ q) ∧ (m ∨ p))
5. ((m ⊃ j) ⊃ n) ∨ (~n ⊃ ~(~j ⊃ ~m))
6. ~(j ⊃ (t ⊃ ~j)) ⊃ ~(n ∧ j) /∴ ~(~t ∧ ~t) ⊃ ~n
2. (m ∨ q) ⊃ ((q ∨ s) ⊃ (~s ∨ ~(p ∨ ~r)))
3. ((q ∧ ~s) ∨ l) ⊃ ((l ∨ ~s) ⊃ (~s ⊃ (m ⊃ n)))
4. ~(n ⊃ j) ⊃ ~((~r ∨ q) ∧ (m ∨ p))
5. ((m ⊃ j) ⊃ n) ∨ (~n ⊃ ~(~j ⊃ ~m))
6. ~(j ⊃ (t ⊃ ~j)) ⊃ ~(n ∧ j) /∴ ~(~t ∧ ~t) ⊃ ~n
Es este
Las negaciones están puestas más alto, pero fuera de eso creo que se ve bien. Buena noche Dayana.
Otras preguntas