Autor Tema: Validez y verdad ligadas

0 Usuarios y 1 Visitante están viendo este tema.

09 Noviembre, 2015, 08:45 am
Leído 877 veces

arkady-svidrigailov

  • Aprendiz
  • Mensajes: 287
  • Karma: +0/-0
  • Sexo: Masculino
¿Les parece que está bien decir que por cada argumento podemos pensar en una proposición tal que es verdadera o no si el argumento es válido o no (y visceversa, claro)? Digamos si yo considero el argumento con proposiciones \( p \) y \( q \)

\( p \implies q \)
\( p \)
-----------------
por lo tanto \( q \)

y la proposición \( ((p \implies q) \land p) \implies q \). De modo que el argumento es válido únicamente si la fórmula proposicional que representa a la proposición es una tautología.