Bienvenido, Invitado
Nombre de Usuario: Contraseña: Recordarme
  • Página:
  • 1
  • 2

TEMA: Duda pregunta de examen de Lógica I

Duda pregunta de examen de Lógica I 15 Ene 2023 13:28 #74379

  • NachLXII
  • Avatar de NachLXII
  • DESCONECTADO
  • Socrático
  • Mensajes: 88
  • Gracias recibidas 62
La pregunta es del examen de Lógica I de Septiembre 2022

La fórmula (p v q) es equivalente a la fórmula (r v s) ?

Verdadero o falso y porque.

Se agradece ayuda.
El administrador ha desactivado la escritura pública.
Los siguientes usuarios han agradecido: Ioannes

Duda pregunta de examen de Lógica I 15 Ene 2023 21:04 #74382

  • Ioannes
  • Avatar de Ioannes
  • DESCONECTADO
  • Socrático
  • Mensajes: 115
  • Gracias recibidas 323
Falso. “Se dice que dos esquemas son equivalentes si cada uno de ellos implica el otro, esto es, si el primero implica el segundo y el segundo el primero.” (Página 44 de Formas Lógicas). “p v q es equivalente a ~p —> q, pero de ningún modo a r v s”.

Esa sería la respuesta que daría yo; no obstante, al igual que tú estoy cursando la asignatura este curso. Si alguien confirma, mejora o niega mi respuesta sería de agradecer.
Última Edición: 15 Ene 2023 21:32 por Ioannes.
El administrador ha desactivado la escritura pública.
Los siguientes usuarios han agradecido: NachLXII

Duda pregunta de examen de Lógica I 15 Ene 2023 21:26 #74384

  • Lander telletxea
  • Avatar de Lander telletxea
  • DESCONECTADO
  • Aristotélico
  • Mensajes: 417
  • Gracias recibidas 1035
Ioannes escribió:
Falso. “Se dice que dos esquemas son equivalentes si cada uno de ellos implica el otro, esto es, si el primero implica el segundo y el segundo el primero.” (Página 44 de Formas Lógicas). “p v q es equivalente a p ^ q, pero de ningún modo a r v s”.

Esa sería la respuesta que daría yo; no obstante, al igual que tú estoy cursando la asignatura este curso. Si alguien confirma, mejora o niega mi respuesta sería de agradecer.
Cuidado, el equivalente de (p v q) es (¬p --> q)
El administrador ha desactivado la escritura pública.
Los siguientes usuarios han agradecido: jsanchez75, NachLXII, Ioannes

Duda pregunta de examen de Lógica I 15 Ene 2023 21:29 #74385

  • Ioannes
  • Avatar de Ioannes
  • DESCONECTADO
  • Socrático
  • Mensajes: 115
  • Gracias recibidas 323
Corregido. En FL ponía el ejemplo de ~(p v q) equivale a ~p ^ ~q, no que entonces p v q equivaldría a p ^ q. Muchas gracias por la corrección, Lander.
Última Edición: 15 Ene 2023 21:33 por Ioannes.
El administrador ha desactivado la escritura pública.
Los siguientes usuarios han agradecido: Lander telletxea, NachLXII

Duda pregunta de examen de Lógica I 16 Ene 2023 09:47 #74388

  • bolindre
  • Avatar de bolindre
Hola chicos. Tenéis que tener en cuenta que la pregunta se centra en el concepto de equivalencia. Dos fórmulas son equivalentes cuando la primera fórmula implica la segunda y la segunda implica la primera, como ha dicho Ioannes. Pero eso significa que estamos hablando de un bicondicional que es siempre verdadero, tautológico (verdadero para todas la interpretaciones posibles de sus componentes). El bicondicional se relaciona con la equivalencia precisamente en que la equivalencia es un bicondicional tautológico. Es decir, que [(p v q) --> (r v s )] ^ [(r v s) --> (p v q)] tiene que ser una tautología.

Por otro lado, todas las interdefiniciones son equivalencias.

Creo que sería necesario demostrarlo de alguna forma, mediante una tabla de verdad (por ejemplo).

Saludos.
Última Edición: 16 Ene 2023 18:51 por bolindre.
El administrador ha desactivado la escritura pública.

Duda pregunta de examen de Lógica I 16 Ene 2023 09:56 #74389

  • NachLXII
  • Avatar de NachLXII
  • DESCONECTADO
  • Socrático
  • Mensajes: 88
  • Gracias recibidas 62
Buenas.
Entiendo que si el bicondicional formado por ambas fórmulas no es una tautología ( es contingente ), no son equivalentes.
Se demuestra mediante tablas de verdad.
El problema sería si aparecen muchas variables,ya que tendríamos un número de filas poco manejable para hacer la tabla.
Muchas gracias a tod@s por vuestra ayuda.
El administrador ha desactivado la escritura pública.
Los siguientes usuarios han agradecido: Ioannes, bolindre

Duda pregunta de examen de Lógica I 16 Ene 2023 10:40 #74390

  • bolindre
  • Avatar de bolindre
Se puede demostrar de diferentes maneras, he puesto el ejemplo de las tabla de verdad. También puedes pensar en desarrollar un árbol semántico, partir de que la conjunción de [(p v q) --> (r v s )] ^ [(r v s) --> (p v q)] sólo puede ser verdadera si las dos son verdaderas. Es decir, que si encuentras un caso en el que uno de los componentes de la conjunción es falso (hay una interpretación que hace falso uno de los dos condicionales), entonces esa fórmula no puede ser tautológica. Depende de cómo manejes la teoría, te será más fácil utilizar un método un otro. Puedes partir también de la noción de satisfacibilidad. Incluso puedes hablar de los diferentes métodos para demostrarlo y escoger el que te resulte más sencillo. Con una tabla de verdad puedes comprobar si la respuesta es correcta. Imagina que arrojase que todas las interpretaciones son V...

Ánimo.
Última Edición: 16 Ene 2023 11:16 por bolindre. Razón: cambio de q por r
El administrador ha desactivado la escritura pública.

Duda pregunta de examen de Lógica I 16 Ene 2023 15:56 #74394

  • Ioannes
  • Avatar de Ioannes
  • DESCONECTADO
  • Socrático
  • Mensajes: 115
  • Gracias recibidas 323
NachLXII escribió:
Buenas.
Entiendo que si el bicondicional formado por ambas fórmulas no es una tautología ( es contingente ), no son equivalentes.
Se demuestra mediante tablas de verdad.
El problema sería si aparecen muchas variables,ya que tendríamos un número de filas poco manejable para hacer la tabla.
Muchas gracias a tod@s por vuestra ayuda.

Obviamente, cuando existen muchas variables enunciativas, lo más rápido es optar por el árbol semántico; no obstante, recuerda que para realizar este tipo de comprobaciones no es necesario realizar la tabla de verdad al completo, sino parar cuando encuentres la demostración de que estas fórmulas no son equivalentes. Eso sí, tienes que advertirlo con un mensaje del tipo: "No es necesario continuar con la tabla de verdad, puesto que ya hemos comprobado que estas fórmulas no son equivalentes". Esto te sirve también para buscar contraejemplos. Te adjunto la captura de la tabla de verdad hecha justo hasta el momento en que se demuestra que ambas fórmulas no son equivalentes.


CapturadePantalla2023-01-16alas15.53.16.png
El administrador ha desactivado la escritura pública.
Los siguientes usuarios han agradecido: NachLXII, bolindre

Duda pregunta de examen de Lógica I 16 Ene 2023 18:38 #74396

  • Pedro Pablo
  • Avatar de Pedro Pablo
  • DESCONECTADO
  • Aristotélico
  • Mensajes: 327
  • Gracias recibidas 665
Yo contestaría algo así:

Es falso. Dos fórmulas son equivalentes cuando cada una de ellas implica la otra, es decir, cuando tienen los mismos valores de verdad en todas las interpretaciones posibles. Si p y q son verdaderas, y r y s son falsas, entonces (p v q) es verdadera mientras que (r v s) es falsa. Por tanto, (p v q) no es equivalente a (r v s).

Creo que con eso es suficiente.

Saludos.
El administrador ha desactivado la escritura pública.
Los siguientes usuarios han agradecido: NachLXII, Ioannes

Duda pregunta de examen de Lógica I 16 Ene 2023 22:15 #74398

  • Ioannes
  • Avatar de Ioannes
  • DESCONECTADO
  • Socrático
  • Mensajes: 115
  • Gracias recibidas 323
Pedro Pablo escribió:
Yo contestaría algo así:

Es falso. Dos fórmulas son equivalentes cuando cada una de ellas implica la otra, es decir, cuando tienen los mismos valores de verdad en todas las interpretaciones posibles. Si p y q son verdaderas, y r y s son falsas, entonces (p v q) es verdadera mientras que (r v s) es falsa. Por tanto, (p v q) no es equivalente a (r v s).

Creo que con eso es suficiente.

Saludos.

Por rizar el rizo, y por si se me escapa algo, ¿y si los valores de verdad de p y q son otros? ¿Y si los valores de verdad de todas las variables enunciativas son verdaderos o falsos?
El administrador ha desactivado la escritura pública.
Los siguientes usuarios han agradecido: NachLXII
  • Página:
  • 1
  • 2
Tiempo de carga de la página: 0.168 segundos