Usando as leis de lógica justificar (p ∨ ¬q) ∧ (¬p ∨ ¬q) ⇔ (¬q ∨ p) ∧ (¬q ∨ ¬p)

Para justificar a equivalência \((p ∨ ¬q) ∧ (¬p ∨ ¬q) ⇔ (¬q ∨ p) ∧ (¬q ∨ ¬p)\), podemos usar as leis da lógica proposicional. Vamos analisar cada lado da equivalência. 1. Lado esquerdo: \((p ∨ ¬q) ∧ (¬p ∨ ¬q)\) - Aqui, temos duas partes: - \(p ∨ ¬q\): Isso é verdadeiro se \(p\) for verdadeiro ou \(q\) for falso. - \(¬p ∨ ¬q\): Isso é verdadeiro se \(p\) for falso ou \(q\) for falso. - Para que a conjunção \((p ∨ ¬q) ∧ (¬p ∨ ¬q)\) seja verdadeira, ambas as partes devem ser verdadeiras. Isso implica que \(¬q\) deve ser verdadeiro (ou seja, \(q\) é falso). 2. Lado direito: \((¬q ∨ p) ∧ (¬q ∨ ¬p)\) - Novamente, temos duas partes: - \(¬q ∨ p\): Isso é verdadeiro se \(q\) for falso ou \(p\) for verdadeiro. - \(¬q ∨ ¬p\): Isso é verdadeiro se \(q\) for falso ou \(p\) for falso. - Para que a conjunção \((¬q ∨ p) ∧ (¬q ∨ ¬p)\) seja verdadeira, \(¬q\) deve ser verdadeiro (ou seja, \(q\) é falso). 3. Conclusão: - Em ambos os lados, a condição para que a expressão seja verdadeira é que \(¬q\) seja verdadeiro. Portanto, temos que \((p ∨ ¬q) ∧ (¬p ∨ ¬q) ⇔ (¬q ∨ p) ∧ (¬q ∨ ¬p)\) é uma equivalência válida. Assim, a equivalência está justificada.