A lógica proposicional permite operar a construção de equivalências e negações de proposições compostas de maneira objetiva e única. Para tal se divide a proposição composta em pro

A lógica proposicional permite operar a construção de equivalências e negações de proposições compostas de maneira objetiva e única. Para tal se divide a proposição composta em proposições elementares e então se opera com os conectivos, e demais operações lógicas como a negação ou a precedência, de maneira única seguindo regras formais (logicamente consistentes e demonstradas verdadeiras, por exemplo a partir da sua verificação nas tabelas-verdade). Dessa forma o emprego da lógica proposicional dentro de um idioma pode gerar construções paradoxais ao se utilizar com palavras que possuem significados antagônicos entre si que sejam relacionadas por conectivos lógicos reforçando esse sentido, por exemplo se construímos a negação. Considere a disjunção exclusiva “Ou uma pessoa é rica ou essa pessoa é pobre”. Assinale a alternativa que identifica corretamente a negação lógica formal desta proposição.