Considere a validade das seguintes premissas dentro de um sistema de lógica de predicados.
P1: Todo brasileiro é entusiasta. P2: Nenhum entusiasta é pessimista.
A partir dessas proposições, podemos concluir que: