Equivalência do "se então": inverte e nega tudo.

equivalências do "se ...,então...":

• contrapositiva = invere e nega as duas (p->q) = (~q->~p)
• ne ou ma = nega a primeira e mantém a segunda (p->q) = (~p v q)

A equivalência do “Se...,então” pode ser reescrita de duas formas:

• 1️⃣ NEyMAr

NEgo a primeira.

MAntenho a segunda.

Troco o conectivo por “OU”.

• 2️⃣ CONTRAPOSITIVA

Inverto as proposições.

Nego ambos e mantenho o conectivo.

--------------------------------------------

A alternativa C é a única que aplica corretamente a equivalência lógica, usando a regra CONTRAPOSITIVA. Vejamos:

• Se o código-fonte está correto, então o resultado é o esperado.

• Se o resultado não é o esperado, então o código-fonte não está correto.

--------------------------------------------

✅ Gabarito (C)

Qualquer erro, corrijam-me!

Bons estudos!