22/01/2020, 14:05:18 pm *
Bienvenido(a), Visitante. Por favor, ingresa o regístrate.

Ingresar con nombre de usuario, contraseña y duración de la sesión
Noticias: Homenaje a NUMERARIUS
 
 
Páginas: [1]   Ir Abajo
  Imprimir  
Autor Tema: Validez y verdad ligadas  (Leído 811 veces)
0 Usuarios y 1 Visitante están viendo este tema.
arkady-svidrigailov
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Argentina Argentina

Mensajes: 287


Ver Perfil
« : 09/11/2015, 04:45:19 am »

¿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 [texx]p[/texx] y [texx]q[/texx]

[texx]p \implies q[/texx]
[texx]p[/texx]
-----------------
por lo tanto [texx]q[/texx]

y la proposición [texx]((p \implies q) \land p) \implies q[/texx]. De modo que el argumento es válido únicamente si la fórmula proposicional que representa a la proposición es una tautología.
En línea
Páginas: [1]   Ir Arriba
  Imprimir  
 
Ir a:  

Impulsado por MySQL Impulsado por PHP Powered by SMF 1.1.4 | SMF © 2006, Simple Machines LLC XHTML 1.0 válido! CSS válido!