Bienvenido, Invitado
Nombre de Usuario: Contraseña: Recordarme

TEMA: (¡¡AYUDA!!) EJERCICIO DISYUNCIÓN EXAMEN LÓGICA

(¡¡AYUDA!!) EJERCICIO DISYUNCIÓN EXAMEN LÓGICA 04 Feb 2019 11:01 #47771

  • MGA
  • Avatar de MGA
  • DESCONECTADO
  • Jonio
  • Mensajes: 37
  • Gracias recibidas 3
Buenas a todos,

os escribo para comentaros una duda respecto a un ejercicio que me acaba de caer en el examen de lógica 1. No tenía muy claro por dónde cogerlo, y en un momento dado, me ha salido una disyunción RvQ.
Mi estrategia desde un principio era la reducción al absurdo y al final tanto por el lado de R como por el Q he alcanzado dos contradicciones.
El problema es que las contradicciones a las que he llegado, no eran la misma. En una creo que era p^-p y en otra q^-q.
Si no eran la misma contradicción en ambos casos, ¿está mal lo que he hecho?

Os agradezco mucho la ayuda, ya que me da mucha rabia haber estudiado tanto para luego haberme liado.

Un saludo
Última Edición: 04 Feb 2019 13:37 por MGA.
El administrador ha desactivado la escritura pública.

(¡¡AYUDA!!) EJERCICIO DISYUNCIÓN EXAMEN LÓGICA 04 Feb 2019 14:58 #47779

  • Estilpon
  • Avatar de Estilpon
  • DESCONECTADO
  • Aristotélico
  • Mensajes: 626
  • Gracias recibidas 431
Puedes hallar una o varias contradicciones. Es correcto con que encuentres una. Haz el problema Y te lo corrijo.
El administrador ha desactivado la escritura pública.

(¡¡AYUDA!!) EJERCICIO DISYUNCIÓN EXAMEN LÓGICA 04 Feb 2019 15:14 #47781

  • MGA
  • Avatar de MGA
  • DESCONECTADO
  • Jonio
  • Mensajes: 37
  • Gracias recibidas 3
Acabo de escribirlo de memoria, pero creo que era algo así. Gracias por la ayuda, en serio!





- r --> ( - p ^q ) PREMISA 1
(- r ^ t) --> p PREMISA 2
( t --> r)

1. PREMISA 1
2. PREMISA 2
3. - (T --> R) Supuesto
4. (-r ^ t) interdefinición , ->, ^, 3
5. p MP, 3,4
6. r v ( -p ^ q ) Interdefinición ->, v, 1
7. r SUPUESTO
8. -r RE ^ 4
9. r^-r RI ^, 7,8 cierro supuesto
10. (-P ^ q) supuesto
11. -p RE ^, 10
12. P ^-P RI ^, 5,11 Cierro supuesto
13. - - (T --> R) RI - , 3, Cierro supuesto
14. (T-->R) RE -, 13
El administrador ha desactivado la escritura pública.

(¡¡AYUDA!!) EJERCICIO DISYUNCIÓN EXAMEN LÓGICA 04 Feb 2019 16:34 #47784

  • Estilpon
  • Avatar de Estilpon
  • DESCONECTADO
  • Aristotélico
  • Mensajes: 626
  • Gracias recibidas 431
No está mal enfocado, pero no cierras bien la prueba por casos. Y no obtienes la contradicción fuera de los supuestos. Amparo algún punto te dara pero el ejercicio está mal.
El administrador ha desactivado la escritura pública.

(¡¡AYUDA!!) EJERCICIO DISYUNCIÓN EXAMEN LÓGICA 04 Feb 2019 17:03 #47787

  • Silvanus
  • Avatar de Silvanus
  • DESCONECTADO
  • Escolástico
  • Mensajes: 1423
  • Gracias recibidas 1872
Estilpon, ¿has hecho ya la asignatura?

La he dejado para septiembre porque vi que no me daba tiempo a seguir el ritmo ni a meterle las suficientes horas. Empecé tarde y lo llevé acumulado.

¿Crees posible enfrentarse a la segunda parte igualmente?
Esta dirección electrónica esta protegida contra spam bots. Necesita activar JavaScript para visualizarla
Última Edición: 04 Feb 2019 17:03 por Silvanus.
El administrador ha desactivado la escritura pública.

(¡¡AYUDA!!) EJERCICIO DISYUNCIÓN EXAMEN LÓGICA 04 Feb 2019 17:15 #47788

  • luisma
  • Avatar de luisma
  • DESCONECTADO
  • Jonio
  • Mensajes: 14
  • Gracias recibidas 5
A mí me ha pasado igual, empecé tarde y aunque he podido ponerme al día un poco, todavía necesito más práctica. ¿Cómo afrontar Lógica II? :sick:
El administrador ha desactivado la escritura pública.

(¡¡AYUDA!!) EJERCICIO DISYUNCIÓN EXAMEN LÓGICA 05 Feb 2019 00:02 #47795

  • Estilpon
  • Avatar de Estilpon
  • DESCONECTADO
  • Aristotélico
  • Mensajes: 626
  • Gracias recibidas 431
Hola Silvanus. Tengo las dos lógicas. Tu podrías con ambas porque eres un tipo muy inteligente, pero si no te va la vida con ello, haz la uno.
El administrador ha desactivado la escritura pública.
Los siguientes usuarios han agradecido: Silvanus

(¡¡AYUDA!!) EJERCICIO DISYUNCIÓN EXAMEN LÓGICA 05 Feb 2019 00:33 #47796

  • Estilpon
  • Avatar de Estilpon
  • DESCONECTADO
  • Aristotélico
  • Mensajes: 626
  • Gracias recibidas 431
Abre supuesto con -r
Mp con 1
Te quedas con la conjunción que es el consecuente de 1.
Simplificar-p
Mt con 2
Obtienes el antecedente de 2 negado.
Interdefines y pasas de conjuntor a implicado
Obtienes -r implica -t
Haces mp con 3
Obtienes-t
Cierras el supuesto con td
Obtienes -r implica-t
Contraposición y ya tienes t implica r
El administrador ha desactivado la escritura pública.

(¡¡AYUDA!!) EJERCICIO DISYUNCIÓN EXAMEN LÓGICA 05 Feb 2019 00:33 #47797

  • Estilpon
  • Avatar de Estilpon
  • DESCONECTADO
  • Aristotélico
  • Mensajes: 626
  • Gracias recibidas 431
Lo siento, estoy con un movil
El administrador ha desactivado la escritura pública.

(¡¡AYUDA!!) EJERCICIO DISYUNCIÓN EXAMEN LÓGICA 05 Feb 2019 08:30 #47800

  • Entelequia
  • Avatar de Entelequia
  • DESCONECTADO
  • Aristotélico
  • Mensajes: 327
  • Gracias recibidas 340
Estilpon escribió:
Abre supuesto con -r
Mp con 1
Te quedas con la conjunción que es el consecuente de 1.
Simplificar-p
Mt con 2
Obtienes el antecedente de 2 negado.
Interdefines y pasas de conjuntor a implicado
Obtienes -r implica -t
Haces mp con 3
Obtienes-t
Cierras el supuesto con td
Obtienes -r implica-t
Contraposición y ya tienes t implica r

De verdad, disculpad mi ignorancia pero: ¿todo esto para qué puñetas sirve?
A poc a poc.
El administrador ha desactivado la escritura pública.
Tiempo de carga de la página: 0.181 segundos