Sabe-se que um executivo é honesto se, e somente se, pratica exercícios físicos. João é um executivo e é sedentário. Pode-se, então, concluir que:

todo executivo é desonesto.

todo executivo pratica exercícios físicos.

João não é um executivo honesto.

todo executivo é honesto.

nenhum executivo pratica exercícios físicos.