Utilizando o símbolo “~” para negação, a expressão lógica...

a negação do conectivo SE, ENTAO deve seguir a seguinte regra:

1- TROCAR pelo conectivo E.

2- Manter a PRIMEIRA PARTE.

3- NEGAR a SEGUNDA PARTE.

* regra do E NÃO.

Ou essa questão é negação ou é equivalência.

Negação - Mantém a 1 Nega a 2 troca --> por ^

Equivalência - Nega a 1 Mantém a 2 troca ---> por v 

Foi usada a equivalencia do se entao: nega a 1 e mantem a 2.

Pessoal muita atenção no enunciado ele so explica o significado do simbolo de NEGAÇÃO mas pede so a equivalencia da sentença que e ~A v B  GABARITO D

Se A então B = A e ~B = ~A ou B .

Gabarito D.

Negação:

A e B ==>  ~ A ou ~B (Nega a duas e troca o e pelo ou)

A ou B ==>  ~A e ~B (Nega a duas e troca o ou pelo e)

Se A então B ==> A e ~B (Tira o "se" mantem a 1º e nega a 2º)

Todo ==>  Algum, pelo menos um...

Bons Estudos! 

:)