Dois amigos foram a um Bar e conheceram uma pessoa chamada João, que era muito falador e conversou bastante com esses dois amigos. Quando João se retirou para ir ao banheiro, um dos amigos disse: Se João disse a verdade, ele é milionário. Logo, pode-se concluir que
João é milionário.
João disse a verdade.
se João é milionário, então ele disse a verdade.
se João não disse a verdade, então ele não é milionário.
se João não é milionário, então ele não disse a verdade.