se André é professor de matemática, então Ricardo é engenheiro.

se Ricardo é engenheiro, então André é professor de matemática.

se Ricardo é engenheiro, então André não é professor de matemática.

se Ricardo não é engenheiro, então André é professor de matemática.

se Ricardo não é engenheiro, então André não é professor de matemática.