As proposições "Se p, então q" e "Se ~q, então ~p" são equivalentes.
sendo assim: “ Francisco é matemático, então Carlos é físico”
equivale a : Se Carlos não é físico, então Francisco não é matemático.
obs:
transformar de "se..., então..." para "ou".
ii) As proposições "Se p, então q" e "~p ou q" são equivalentes.
Para transformar de "Se..., então..." para "ou", devemos NEGAR O PRIMEIRO COMPONENTE, trocar o conectivo de "se..., então" para "ou" (ou o contrário) e COPIAR O SEGUNDO COMPONENTE.
Existem duas maneiras para se fazer a equivalência do Se...então
Primeira: nega a primeira e mantám o segundo, se a questão trazer essa alternativa, você tem que atentar se a questão está trocando o conectivo se...então pelo conectivo OU
Francisco é matemático, então Carlos é físico: Ficaria assim: Francisco não é matemático OU Carlos é fisíco
Segunda: Nega tudo e inverte, que foi o caso que a banca escolheu, nesse caso o se...então será mantido
Francisco é matemático, então Carlos é físico: Se Carlos não é físico, então Francisco não é matemático.