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.