Falar que “Se Paulo é rico, então Pedro é sortudo” é, logicamente equivalente a:

Se Paulo não é rico, então Pedro é sortudo.

Paulo não é rico ou Pedro é sortudo.

Se Pedro é sortudo, então Paulo é rico.

Se Paulo é sortudo, então Pedro é rico.

Se Paulo é rico, então Pedro não é sortudo.