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

TEMA: Dudas de Lógica II

Dudas de Lógica II 16 May 2023 12:21 #75808

  • Lander telletxea
  • Avatar de Lander telletxea
  • DESCONECTADO
  • Aristotélico
  • Mensajes: 474
  • Gracias recibidas 1191
Alguien me podría aportar un contraejemplo de esta forma lógica. Me estoy mareando... Os lo agradecería.

Λx (Px --> Qx)


Vx (Px ^ Qx)
El administrador ha desactivado la escritura pública.
Los siguientes usuarios han agradecido: Futaki, SASETO

Dudas de Lógica II 16 May 2023 17:16 #75810

  • SASETO
  • Avatar de SASETO
  • DESCONECTADO
  • Socrático
  • Mensajes: 156
  • Gracias recibidas 442
Todo unicornio es mitológico
Por tanto existe algún unicornio que es mitológico.
El administrador ha desactivado la escritura pública.
Los siguientes usuarios han agradecido: Lander telletxea, Futaki

Dudas de Lógica II 16 May 2023 22:17 #75812

  • Futaki
  • Avatar de Futaki
  • DESCONECTADO
  • Estoico
  • Mensajes: 1099
  • Gracias recibidas 3495
El ejemplo más claro que pone Amparo de este tipo es el típico que dice que de la afirmación de que todos los marcianos son verdes no se sigue lógicamente que algunos marcianos son verdes.
Aunque no he ajustado mucho el diccionario a las letras P y Q, pero bueno, diríamos que P: marcianos y Q: verdes.
La premisa de la que se parte es verdadera, pero la consecuencia lógica es hasta ahora falsa.

Edito:
Por lo tanto, este contraejemplo da fe de que la forma lógica es inválida. En un futuro, Dios dirá.
Última Edición: 16 May 2023 22:19 por Futaki.
El administrador ha desactivado la escritura pública.
Los siguientes usuarios han agradecido: Lander telletxea, SASETO
Tiempo de carga de la página: 0.224 segundos