Considere A Seguinte Sequencia De Declarações

Table of Contents [Show]

A seguinte sequência de declarações é uma questão de lógica proposicional que é frequentemente usada como um exercício de introdução à lógica. As declarações são as seguintes:

“`
P: João é inteligente.
Q: João é bonito.
R: João é rico.
“`

A questão é: é possível que todas as três declarações sejam verdadeiras?

A resposta é sim. É possível que todas as três declarações sejam verdadeiras.

Para provar isso, vamos considerar cada declaração individualmente.

Esta é uma afirmação sobre a inteligência de João. Não há nenhuma informação que contradiga essa afirmação. Portanto, é possível que João seja inteligente.

Esta é uma afirmação sobre a beleza de João. Novamente, não há nenhuma informação que contradiga essa afirmação. Portanto, é possível que João seja bonito.

Esta é uma afirmação sobre a riqueza de João. Novamente, não há nenhuma informação que contradiga essa afirmação. Portanto, é possível que João seja rico.

Portanto, é possível que todas as três declarações sejam verdadeiras.

“`
P
Q
R
“`

Se todas as três declarações forem verdadeiras, então João deve estar dentro de todos os três círculos. Portanto, ele deve estar no espaço que é a interseção de todos os três círculos.

“`
P
Q
R
“`

Este espaço representa todas as pessoas que são inteligentes, bonitas e ricas. Portanto, é possível que João seja uma dessas pessoas.