Afirmar que não é verdade que “se Pedro não é brasileiro, então João é corintiano” é equivalente a dizer que

ou Pedro é brasileiro ou João não é corintiano.

Pedro não é brasileiro e João não é corintiano.

Pedro não é brasileiro ou João não é corintiano.

se João não é corintiano, então Pedro é brasileiro.

se Pedro não é brasileiro, então João é corintiano.