Autor Tema: Escribir una formula equivalente

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

22 Junio, 2024, 09:51 pm
Leído 3521 veces

Chorite

  • $$\Large \color{#5e8d56}\pi\,\pi\,\pi$$
  • Mensajes: 221
  • Karma: +0/-0
  • Sexo: Masculino
Hola, tengo el siguiente ejercicio:

\( (p\Leftrightarrow{}\sim{q})\longrightarrow{r} \)

me piden hallar una formula equivalente utilizando solo los siguientes conectivos logicos: \( \sim{}, \wedge, \vee \)

El problema que encuentro es que no se como reemplazar el bicondicional en \( (p\Leftrightarrow{}\sim{q}) \). Todas las formulas equivalentes que tengo en mi libro refieren a p y q como positivas, pero no se como trabajar cuando una proposicion es negativa (en este caso q) y otra positiva (p).

22 Junio, 2024, 10:09 pm
Respuesta #1

manooooh

  • $$\Large \color{#9c57a6}\pi\,\pi\,\pi\,\pi\,\pi\,\pi$$
  • Mensajes: 4,788
  • País: ar
  • Karma: +1/-0
  • Sexo: Masculino
Hola

\( (p\Leftrightarrow{}\sim{q})\longrightarrow{r} \)

me piden hallar una formula equivalente utilizando solo los siguientes conectivos logicos: \( \sim{}, \wedge, \vee \)

El problema que encuentro es que no se como reemplazar el bicondicional en \( (p\Leftrightarrow{}\sim{q}) \). Todas las formulas equivalentes que tengo en mi libro refieren a p y q como positivas, pero no se como trabajar cuando una proposicion es negativa (en este caso q) y otra positiva (p).

Sin mucha importancia
No sé qué libro usas, porque yo no diría que una proposición \( p \) es "positiva" y \( \neg p \) es "negativa", habría que ver si la oración que suplantan están en afirmativo o negativo (\( p=``\text{El perro no ladra}\!" \) expresa una oración negativa, sin embargo \( \neg p \) expresa la oración en positivo -"El perro ladra"-). Más bien diría que \( \neg p \) es la negación de \( p \).
[cerrar]

Si te enseñaron que \( p\iff q \) es lógicamente equivalente a \( p\to q\land q\to p \), ya lo tienes. Sólo te falta ver que \( p\to q\equiv\neg p\lor q \) y \( q\to p\equiv\neg q\lor p \).

Saludos

23 Junio, 2024, 05:09 am
Respuesta #2

Chorite

  • $$\Large \color{#5e8d56}\pi\,\pi\,\pi$$
  • Mensajes: 221
  • Karma: +0/-0
  • Sexo: Masculino
Hola

\( (p\Leftrightarrow{}\sim{q})\longrightarrow{r} \)

me piden hallar una formula equivalente utilizando solo los siguientes conectivos logicos: \( \sim{}, \wedge, \vee \)

El problema que encuentro es que no se como reemplazar el bicondicional en \( (p\Leftrightarrow{}\sim{q}) \). Todas las formulas equivalentes que tengo en mi libro refieren a p y q como positivas, pero no se como trabajar cuando una proposicion es negativa (en este caso q) y otra positiva (p).

Sin mucha importancia
No sé qué libro usas, porque yo no diría que una proposición \( p \) es "positiva" y \( \neg p \) es "negativa", habría que ver si la oración que suplantan están en afirmativo o negativo (\( p=``\text{El perro no ladra}\!" \) expresa una oración negativa, sin embargo \( \neg p \) expresa la oración en positivo -"El perro ladra"-). Más bien diría que \( \neg p \) es la negación de \( p \).
[cerrar]

Si te enseñaron que \( p\iff q \) es lógicamente equivalente a \( p\to q\land q\to p \), ya lo tienes. Sólo te falta ver que \( p\to q\equiv\neg p\lor q \) y \( q\to p\equiv\neg q\lor p \).

Saludos

Muchas gracias, con tu ayuda lo pude resolver