Diz-se que duas preposições são equivalentes entre si quando elas possuem o mesmo valor lógico. A sentença logicamente equivalente a: Se Maria é médica, então Victor é professor é:
A. Se Victor não é professor então Maria não é médica
B. Se Maria não é médica então Victor não é professor