17/01/2020, 23:37: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: Puedes practicar LATEX con el cómodo editor de Latex online
 
 
Páginas: [1]   Ir Abajo
  Imprimir  
Autor Tema: Simplificación de Conectores Lógicos  (Leído 4375 veces)
0 Usuarios y 1 Visitante están viendo este tema.
gimenez166
Pleno
****

Karma: +0/-0
Desconectado Desconectado

Sexo: Femenino
Argentina Argentina

Mensajes: 108



Ver Perfil
« : 09/06/2007, 16:13:24 pm »

Hola!
Tengo una duda con una simplificacion de conectores logicos, el ejercicio pide simplificar la expresion:

[texx] -(-p\Longrightarrow{-q})\Longleftrightarrow{((-p\wedge-q)\Longleftrightarrow{-(p\vee q))}}[/texx]

El conector [texx] \Longleftrightarrow{}[/texx]se reemplaza por una o excluyente.
Mi duda es: se puede usar Demorgan con la o excluyente, y si se puede como queda?
En línea

Exígete mucho a ti mismo y espera poco de los demás. Así te ahorrarás muchos disgustos.
LauLuna
Pleno*
*****

Karma: +1/-0
Desconectado Desconectado

España España

Mensajes: 541


Ver Perfil WWW
« Respuesta #1 : 09/06/2007, 17:18:38 pm »

No, no puedes usar De Morgan con una disyunción exclusiva. La disyunción exclusiva es más fuerte (contiene más información) que la inclusiva, de manera que no puedes esperar que obedezca a las mismas leyes lógicas. Por ejemplo, si a partir de:

-(-p & -q)

obtuvieras:

p v' q

donde v' es la disyunción exclusiva, tendrías más información en la conclusión que en la premisa, y eso no es posible; esa conclusión no se sigue de esa premisa.

Lo que veo difícil es simplificar un bicondicional convirtiéndolo en una disyunción exclusiva; especialmente si no tenemos de antemano un símbolo para tal conectiva.

Pero incluso si disponemos de un símbolo como por ejemplo v' para la disyunción exclusiva, no puedes simplemente sustituir el bicondicional por ese símbolo, porque no son equivalentes.

Creo que debes plantear tu problema en términos más precisos. Puedo decirte esto:

el primer miembro de tu bicondicional es equivalente a -p&q, el segundo es una tautología; todas las tautologías son equivalentes y podemos llamarlas T; así que tu fórmula es equivalente a:

 -p&q <-> T

Puedes sustituir T por cualquier tautología, por ejemplo, p->p.

Un saludo
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!