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
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
