Autor Tema: Duda con una proposición

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

07 Octubre, 2017, 12:03 am
Leído 1480 veces

albertorvr

  • Visitante
Hola que tal a todos, soy nuevo en el foro y necesito ayuda con una proposición, ya que no me llega alguna idea de cómo completarla si alguien me ayuda se lo agradecería.

Probar deductivamente

[texx]p \Leftrightarrow{q} \equiv{} (p \wedge q) \vee (\sim{p}\wedge\sim{q})[/texx]

Si alguien me ayuda se lo agradecería

08 Octubre, 2017, 12:11 am
Respuesta #1

hméndez

  • Aprendiz
  • Mensajes: 373
  • País: ve
  • Karma: +1/-0
  • Sexo: Masculino
Hola que tal a todos, soy nuevo en el foro y necesito ayuda con una proposición, ya que no me llega alguna idea de cómo completarla si alguien me ayuda se lo agradecería.

Probar deductivamente

[texx]p \Leftrightarrow{q} \equiv{} (p \wedge q) \vee (\sim{p}\wedge\sim{q})[/texx]

Si alguien me ayuda se lo agradecería


Hola albertorvr, bienvenido... para tus próximos hilos, recuerda siempre mostrar que has hecho por
solucionar tu duda o pregunta.

\( (p\Leftrightarrow{q})\equiv{}(p\Rightarrow{q})\wedge (q\Rightarrow{p}) \)

             \( \equiv{}(\sim{p}\vee q)\wedge(\sim{q}\vee p) \)

             \( \equiv{}(\sim{p}\;\wedge\sim{q})\vee(\sim{p}\wedge p)\vee(q\;\wedge\sim{q})\vee(q\wedge p) \)

             \( \equiv{}(\sim{p}\;\wedge\sim{q})\vee F\vee F\vee (q\wedge p) \)

             \( \equiv{}(\sim{p}\;\wedge \sim{q})\vee (p\wedge q) \)

             \( \equiv{}(p\wedge q)\vee (\sim{p}\;\wedge \sim{q}) \)

Saludos

10 Octubre, 2017, 03:03 am
Respuesta #2

albertopaez

  • Visitante
Hola que tal a todos, soy nuevo en el foro y necesito ayuda con una proposición, ya que no me llega alguna idea de cómo completarla si alguien me ayuda se lo agradecería.

Probar deductivamente

[texx]p \Leftrightarrow{q} \equiv{} (p \wedge q) \vee (\sim{p}\wedge\sim{q})[/texx]

Si alguien me ayuda se lo agradecería


Hola albertorvr, bienvenido... para tus próximos hilos, recuerda siempre mostrar que has hecho por
solucionar tu duda o pregunta.

\( (p\Leftrightarrow{q})\equiv{}(p\Rightarrow{q})\wedge (q\Rightarrow{p}) \)

             \( \equiv{}(\sim{p}\vee q)\wedge(\sim{q}\vee p) \)

             \( \equiv{}(\sim{p}\;\wedge\sim{q})\vee(\sim{p}\wedge p)\vee(q\;\wedge\sim{q})\vee(q\wedge p) \)

             \( \equiv{}(\sim{p}\;\wedge\sim{q})\vee F\vee F\vee (q\wedge p) \)

             \( \equiv{}(\sim{p}\;\wedge \sim{q})\vee (p\wedge q) \)

             \( \equiv{}(p\wedge q)\vee (\sim{p}\;\wedge \sim{q}) \)

Saludos


Que tal hméndez, muchas gracias por tomarte la molestia de responder, gracias a tu ayuda he realizado varios ejercicios y me gustaría que me ayudaras a verificar este a ver que tal esta.
Posdata: soy el mismo autor del post, pero por alguna razón no me dejo entrar ni recuperar mi cuenta... ahí te dejo el ejercicio espero y puedas ayudarme.

\(
p\Leftrightarrow{q}\equiv{}\sim{(}p\oplus{q})
 \)
\(
∼(p⊕q)≡\sim{[}(p\wedge\sim{q})\vee(q\wedge\sim{p})]
 \) Disyunción exclusiva
\(
\equiv{}[\sim{(}p\wedge\sim{q})\wedge\sim{(}q\wedge\sim{p})]
 \) De morgan
\(
\equiv{}[(\sim{p}\vee q)\wedge(\sim{q}\vee p)]
 \) De morgan
\(
     \equiv{}(p\Rightarrow{q})\wedge(q\Rightarrow{p})
 \) Condicional
\(
\equiv{}p\Leftrightarrow{q}
 \)  Ley del bicondicional

Espero estar en lo correcto de no ser así agradecería si alguien me corrige

10 Octubre, 2017, 04:35 am
Respuesta #3

hméndez

  • Aprendiz
  • Mensajes: 373
  • País: ve
  • Karma: +1/-0
  • Sexo: Masculino
Hola que tal a todos, soy nuevo en el foro y necesito ayuda con una proposición, ya que no me llega alguna idea de cómo completarla si alguien me ayuda se lo agradecería.

Probar deductivamente

[texx]p \Leftrightarrow{q} \equiv{} (p \wedge q) \vee (\sim{p}\wedge\sim{q})[/texx]

Si alguien me ayuda se lo agradecería


Hola albertorvr, bienvenido... para tus próximos hilos, recuerda siempre mostrar que has hecho por
solucionar tu duda o pregunta.

\( (p\Leftrightarrow{q})\equiv{}(p\Rightarrow{q})\wedge (q\Rightarrow{p}) \)

             \( \equiv{}(\sim{p}\vee q)\wedge(\sim{q}\vee p) \)

             \( \equiv{}(\sim{p}\;\wedge\sim{q})\vee(\sim{p}\wedge p)\vee(q\;\wedge\sim{q})\vee(q\wedge p) \)

             \( \equiv{}(\sim{p}\;\wedge\sim{q})\vee F\vee F\vee (q\wedge p) \)

             \( \equiv{}(\sim{p}\;\wedge \sim{q})\vee (p\wedge q) \)

             \( \equiv{}(p\wedge q)\vee (\sim{p}\;\wedge \sim{q}) \)

Saludos


Que tal hméndez, muchas gracias por tomarte la molestia de responder, gracias a tu ayuda he realizado varios ejercicios y me gustaría que me ayudaras a verificar este a ver que tal esta.
Posdata: soy el mismo autor del post, pero por alguna razón no me dejo entrar ni recuperar mi cuenta... ahí te dejo el ejercicio espero y puedas ayudarme.

\(
p\Leftrightarrow{q}\equiv{}\sim{(}p\oplus{q})
 \)
\(
∼(p⊕q)≡\sim{[}(p\wedge\sim{q})\vee(q\wedge\sim{p})]
 \) Disyunción exclusiva
\(
\equiv{}[\sim{(}p\wedge\sim{q})\wedge\sim{(}q\wedge\sim{p})]
 \) De morgan
\(
\equiv{}[(\sim{p}\vee q)\wedge(\sim{q}\vee p)]
 \) De morgan
\(
     \equiv{}(p\Rightarrow{q})\wedge(q\Rightarrow{p})
 \) Condicional
\(
\equiv{}p\Leftrightarrow{q}
 \)  Ley del bicondicional

Espero estar en lo correcto de no ser así agradecería si alguien me corrige

Hola albertopaez

Imagino que has leído las reglas del foro y sabes muy bien que NO se debe utilizar un mismo hilo para hacer
otra pregunta.
Por favor que esto NO vuelva a ocurrir, pues en la medida que cumplas las reglas siempre estaremos
en la disposición de ayudarte.

Tu desarrollo es correcto.

Saludos.

11 Octubre, 2017, 03:55 am
Respuesta #4

mario

  • Administrador
  • Mensajes: 1,340
  • País: ar
  • Karma: +0/-0
  • Sexo: Masculino
Hola albertopaez
Ignoro por qué razón se pudo borrar tu primer usuario, pero estoy casi seguro que tu segundo usuario se borró por un error mío, ocurrido cuando estaba eliminando una docena de usuarios spam.
Te pido mil disculpas.
Por favor, vuelve a anotarte, que no hay razón alguna para que nuevamente seas borrado.
Lamento lo sucedido.