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

As equivalências do operador de implicação -> (se, então), são:

NEGA TUDO e INVERTE=    Assim,  A -> B ficará  ~B -> ~A;

ou

NEGA 1º OU (v) 2º=       Assim, A -> B ficará   ~A v B.

As aulas de lógica do QConcurso são ótimas! Vale a pena dar uma conferida.

A_^ B seria o mesmo que   A V   !B

Gente, gravem essas tres equivalencias. elas caem demais!

p -> q

~q -> ~p

~p V q

GABARITO D.

A-->B = ~B-->~A= ~AvB 

O azul é a equivalência da questão em tela. bons estudos.

Para achar a equivalência do Se então, existem duas regras: Ne y Ma (entenda o Y como OU) e a segunda é simplesmente voltar negando e manter o Se então.

Na questão a regra utilizada é a do NeYma (nega a primeira ~OU~ mantém a segunda).

Gab:D