Texto para a questão.

Na lógica sentencial, são chamadas proposições as afirmações que podem ser julgadas como verdadeiras (V) ou falsas (F). As proposições básicas são representadas simbolicamente por letras maiúsculas, A, B, C etc. A partir de proposições previamente construídas, tais como A e B, por exemplo, podem ser formadas proposições compostas, tais como A!$ Λ !$B, que é lida “A e B” e assume valoração V se e somente se A é V e B é V; A!$ ∨ !$B, que é lida “A ou B” e assume valoração F se e somente se A é F e B é F; !$ ¬ !$A, que é lida “não A” e é F se A é V e é V se A é F. Para cada proposição composta, é possível construir uma tabela de valores V / F que a determina, atribuindo-se valorações V ou F a todas as suas proposições componentes. Duas proposições são ditas equivalentes se e somente se têm as mesmas valorações V ou F.

A negação da proposição (!$ ¬ !$A!$ ∨ !$!$ ¬ !$B) é equivalente a