Question

Quais das proposições abaixo podemos afirmar que são equivalências lógicas e também implicações lógicas ao mesmo tempo?a) (p ^ q) e qb) (p v q) e (pv ¬ q)c) (¬ p v ¬ q) e (p v q)d) (p -> q) e ¬ p

Answer 1

Olá!

Proposições equivalentes lógicas  são ditas serrem logicamente equivalentes, visto por através das asserções p e q.

Dizemos que duas proposições são logicamente equivalentes (ou simplesmente  equivalentes) quando os resultados de suas tabelas-verdade são idênticos.  Assim a mudança de asserções seria apenas uma maneira de dizer a mesma coisa.

Alternativa correta é: c) (¬ p v ¬ q) e (p v q)

Espero ter ajudado.