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!

A resposta de uma equivalência de uma condicional (Que utiliza o conectivo Se…Então) pode vir de duas regras possíveis, ou você nega as partes e inverte a ordem mantendo o conectivo se…então, ou você nega a primeira adiciona o conectivo ou e mantém a segunda proposição. Neste caso você pode negar as partes e inverter a ordem que chegará ao gabarito de forma simples.

equevalência do SE ENTÃO : NEGA NEGA TROCA TROCA e mantém o SE ENTÃO