Anónimo
Anónimo preguntado en Ciencia y matemáticasMatemáticas · hace 2 meses

¿Cómo puedo mostrar esto? Lógica.?

Necesito mostrar esto:

[(p^r)→~q] ↔ [(r^q)→~p] 

Sin tabla de verdad.

4 respuestas

Calificación
  • hace 2 meses
    Mejor Respuesta

    Sólo tienes que aplicar la definición de condicional:

    [(p^r)→~q] ↔[~(p^r) v ~q]

    ↔[(~p v ~r) v ~q]

    ↔[~p v (~r v ~q)]

    ↔[(~r v ~q) v ~p]

    ↔[~(r ^ q) v ~p]

    ↔[(r^q)→~p]

    Attachment image
    • Inicia sesión para responder preguntas
  • hace 2 meses

    ...................

    • Inicia sesión para responder preguntas
  • Anónimo
    hace 2 meses

    Si "p" y "r" entonces no "q"     ↔    Si "r" y "p" entonces no "q"

    Eso es lo que significa eso, el simbolo "↔" significa equivalencia proposicional, ambas proposiciones son las mismas.

    • Inicia sesión para responder preguntas
  • Meh
    Lv 6
    hace 2 meses

    Tablas semánticas o deducción natural, busca esos metodos en google.

    Las tablas semánticas son decidibles y tablas de verdad también, pero a veces son exageradamente largas, en cambio la deduccion natural no.

    • Inicia sesión para responder preguntas
¿Aún tienes preguntas? Pregunta ahora para obtener respuestas.