Qual conectivo lógico é equivalente à conjunção \( \lnot p \lor r\) com \( \lnot r \lor p\)?

Resposta

Equivale ao bicondicional \(p \leftrightarrow r\).

Explicação:
\( \lnot p \lor r\) é equivalente a \(p \to r\), e \( \lnot r \lor p\) é equivalente a \(r \to p\), portanto a conjunção \((\lnot p \lor r)\land(\lnot r \lor p)\) equivale a \((p\to r)\land(r\to p)\), que por definição é \(p\leftrightarrow r\).

Exemplo:
Se \(p\) for a porta está fechada e \(r\) for a chave está na fechadura, então \((\lnot p \lor r)\land(\lnot r \lor p)\) expressa que a porta está fechada se, e somente se, a chave está na fechadura, simbolicamente \(p\leftrightarrow r\).

⬇️ Assista à vídeoaula ⬇️ Aula sobre Equivalências