Considerando como verdadeira a declaração: “se alguém tem a...

Se dirigir, não beba.

Se beber, não dirija.

Tal questão nos traz a EQUIVALÊNCIA DO CONDICIONAL ( SE...ENTÃO). 

Existem alguns bizus, todavia a questão ressaltou o do "VOLTA NEGANDO":

Enunciado: SE alguém tem amigo, ENTÃO não chora.

Resposta: SE alguém CHORA ( negou o não chora), ENTÃO NÃO tem amigo ( negou o tem amigo) - GABA C

Obs: Outro bizu pra essa equivalência seria o do "NEOUMAR" => NEga a primeira OU MAntém a segunda, ficando assim: Alguém NÃO tem amigo OU não chora.

A equivalência do se...então (A -> B) pode ser encontrada de duas maneiras:

Invertendo as expressões e negando as duas = ~ B -> ~ A

Negando a 1º colocando ou e repetindo a 2º = ~A v B

Equivalência do condicional (Se ...então)

Só existe duas equivalências do condicional SE ENTÃO

1 ª ) p ---> q = ~p v q

2ª) p ---> q = ~q ---> ~p (Regra do inverte e troca, ou seja, inverte as posições e troca-se o sinal)

Aplicando no caso da questão acima:

"se alguém tem amigo, então não chora nunca”

p = tem amigo

q= não chora

p ---> q = ~q ---> ~p

q = chora

~p = Não tem amigo

Logo, " Se alguém chora,então não tem amigo".

Equivalência de Condicional DESPENCA nas provas de qualquer organizadora( FCC,CESPE,FGV.....)

Vamos Nessa.