Sabe-se que, em lógica proposicional clássica, a implicação

Sabe-se que, em lógica proposicional clássica, a implicação p → q é logicamente equivalente à proposição ~


Sabe-se que, em lógica proposicional clássica, a implicação pq é logicamente equivalente à proposição ~pq. Com base nisso, analise a proposição composta a seguir:

(pq) ↔ (~pq).

Considerando a tabela-verdade da proposição dada, assinale a alternativa que indica a classificação correta dessa proposição.

Utilizamos cookies e tecnologias semelhantes para aprimorar sua experiência. Política de Privacidade.