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: 89
  • Gracias recibidas 66
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:

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

  • Avatar de
.
Última Edición: 05 Nov 2023 10:40 por .
El administrador ha desactivado la escritura pública.

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

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,

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

  • Avatar de
.
Última Edición: 05 Nov 2023 10:40 por .
El administrador ha desactivado la escritura pública.

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: 89
  • Gracias recibidas 66
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: , 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

  • Avatar de
.
Última Edición: 05 Nov 2023 10:41 por .
El administrador ha desactivado la escritura pública.

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

  • Pedro Pablo
  • Avatar de Pedro Pablo
  • DESCONECTADO
  • Aristotélico
  • Mensajes: 406
  • Gracias recibidas 882
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,

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

  • Avatar de
.
Última Edición: 05 Nov 2023 10:41 por .
El administrador ha desactivado la escritura pública.
  • Página:
  • 1
  • 2
Tiempo de carga de la página: 0.246 segundos