Autor Tema: Sobre una verdad en lógica.

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

05 Diciembre, 2010, 03:05 am
Leído 543 veces

lindtaylor

  • Héroe
  • Mensajes: 1,315
  • País: cl
  • Karma: +0/-1
  • Sexo: Masculino
¿Porqué\(  p\Rightarrow{q} \) equivale a \(  \sim{p} \vee q \)?
Sin acudir a las tablas de verdad, que ya se que obtienen el mismo valor de verdad.

De antemano gracias.
....

05 Diciembre, 2010, 04:23 am
Respuesta #1

mathtruco

  • Moderador Global
  • Mensajes: 4,923
  • País: cl
  • Karma: +0/-0
  • Sexo: Masculino
  • El gran profesor inspira
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.