Considere como verdadeiras as sentenças a seguir. I. Se André não é americano, então Bruno é francês. II. Se André é americano então Carlos não é inglês. III. Se Bruno não é francês então Carlos é inglês. Logo, tem‐se obrigatoriamente que
O método que utilizei foi negando todas as proposições: ~AAM > BFR - ~AAM ^ ~BRF AAM > ~CING - AAM ^ CING ~BFR > CING - ~BFR ^ ~CING Notem que "na negação" a unica certeza que temos é que Bruno não é francês. Logo, podemos afirmar que Bruno é francês.
Navegue em mais questões
{TITLE}
{CONTENT}