Considere a sentença: “Se Ana é professora, então Camila é médica.” A proposição equivalente a esta sentença é
Ana não é professora ou Camila é médica.
Se Ana é médica, então Camila é professora.
Se Camila é médica, então Ana é professora.
Se Ana é professora, então Camila não é médica.
Se Ana não é professora, então Camila não é médica.