Considere como verdadeiras as sentenças a seguir. I. Se André não é americano...

A forma mais rápida é fazendo pelo silogismo hipotético.

AA: André Americano

BF: Bruno Francês

CI: Carlos Inglês

I. Se André não é americano, então Bruno é francês = ~AA -> BF

II. Se André é americano então Carlos não é inglês = AA -> ~CI

III. Se Bruno não é francês então Carlos é inglês = ~BF -> CI

agora vamos fazer as contra-positivas e cortar os iguais

~AA -> BF = ~BF -> AA

AA -> ~CI = AA - > ~CI ( não faz contrapositiva dela, os dois AA se anulam virando ~BF->~CI)

~BF -> CI = ~CI -> BF (faz contrapositiva pra casar com o anterior, os dois ~CI anulam, terminando com ~BF->BF

~BR->BR

V F = F (não pode ser)

Então Bruno é Francês.

Não entendi nada

Eu entendi +- \0/

Mds, preciso estudar mais...