Sejam as proposições:
• todas as pessoas altruístas são inteligentes; e, • nenhuma pessoa inteligente é mentirosa.
Assim, tem-se que:
• todas as pessoas altruístas são inteligentes; e, • nenhuma pessoa inteligente é mentirosa.
Assim, tem-se que:
