A lógica proposicional permite operar a construção de ...

Q707655 | Raciocínio Lógico, Proposições Simples e Compostas, Engenheiro Civil, IDAM, IBFC

Texto associado.

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.

a)
Uma pessoa é rica, se e somente se, essa pessoa é pobre
b)
Uma pessoa que não é rica não é pobre
c)
Se uma pessoa é rica, então essa pessoa é pobre
d)
Uma pessoa não é rica, ou essa pessoa não é pobre