Sim, as fórmulas ¬p ∨ q e ¬ (p ∨ q) são equivalentes. Ambas representam a negação da disjunção lógica entre p e q. A primeira fórmula afirma que, se p não for verdadeiro, então q é verdadeiro. A segunda fórmula afirma que nem p nem q são verdadeiros. Portanto, ambas expressões têm o mesmo valor lógico e são equivalentes.
Para escrever sua resposta aqui, entre ou crie uma conta
Compartilhar