Considere verdadeiras as seguintes proposições P e Q: P: Se Lícia chorar, então Nélia vai embora. Q: Se Carolina sorrir, então Nélia não vai embora. Se Nélia foi embora, então é ne

Gabarito

D

Comentário do professor

Temos as condicionais verdadeiras: P ("Se Lícia chorar, então Nélia vai embora") e Q ("Se Carolina sorrir, então Nélia não vai embora").

Foi observado que Nélia foi embora, ou seja, o consequente de P é verdadeiro. Uma condicional com consequente verdadeiro é verdadeira independentemente do antecedente, portanto não podemos concluir se Lícia chorou.

Já em Q o consequente é "Nélia não vai embora", que é falso no caso. Como Q é afirmada como verdadeira, uma condicional só seria falsa na situação \(V \rightarrow F\); assim, para evitar a falsidade, o antecedente de Q deve ser falso.

Logo, concluímos necessariamente que Carolina não sorriu.