Sabe-se que João estar feliz é condição necessária para...

7 Votos

Se Maria Sorri, então João está feliz;

Se João está feliz, então  Daniela abraça Paulo;

Daniela abraça Paulo se, e somente se, Sandra abraça Sérgio;

Logo: Sandra não abraça Sérgio. 

M ---- J

J------ DP

DP---- SS

~SS  .   

Agora é só atribuir os valores lógicos. Espero ter ajudado.

3 Votos

O examinador negou a última frase, volto negando o restante. Portanto: João não está feliz, e Maria não sorri, e Daniela não abraça Paulo.

2 Votos

trata-se da bicondicional - um lado tem que estar igual ao outro. E aí fica: Sandra não abraça sérgio ----- Daniela não abraça Paulo. Aí você vai para a primeira e transforma ela em bicondicional - negando as duas: João não está feliz  ---- Maria não sorri ... elas tem que estar iguais em não ... ou em sim ...