19/02/2020, 13:01:37 *
Bienvenido(a), Visitante. Por favor, ingresa o regístrate.
¿Perdiste tu email de activación?

Ingresar con nombre de usuario, contraseña y duración de la sesión
Noticias: Renovado el procedimiento de inserción de archivos GEOGEBRA en los mensajes.
 
 
Páginas: [1]   Ir Abajo
  Imprimir  
Autor Tema: Sobre una verdad en lógica.  (Leído 494 veces)
0 Usuarios y 1 Visitante están viendo este tema.
lindtaylor
Pleno*
*****

Karma: +0/-1
Desconectado Desconectado

Sexo: Masculino
Chile Chile

Mensajes: 1.303



Ver Perfil
« : 04/12/2010, 23:05:30 »

¿Porqué[texx] p\Rightarrow{q}[/texx] equivale a [texx] \sim{p} \vee q[/texx]?
Sin acudir a las tablas de verdad, que ya se que obtienen el mismo valor de verdad.

De antemano gracias.
En línea

....
mathtruco
Moderador Global
Pleno*
*

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Chile Chile

Mensajes: 4.904

El gran profesor inspira


Ver Perfil
« Respuesta #1 : 05/12/2010, 00:23:18 »

Hola lindtaylor,

 la respuesta la diste tú: las expresiones son lógicamente equivalentes, y esto lo pruebas usando tablas de verdad.

 Cuanquier otra forma será usando propiedades que a su vez se demostrarán por tablas de verdad.

 A fin de cuentas, es la única forma de probar que dos expresiones son lógicamente equivalentes.
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!