Afirmar que “todo amante de vinhos italianos gosta da uva sangiovese” é logicamente equivalente a afirmar que:

Gabarito

B

Comentário do professor

Coloque \(p\): “é amante de vinhos italianos” e \(q\): “gosta da uva sangiovese”. A afirmação original é a condicional \(p \rightarrow q\).

Uma condicional é equivalente à disjunção \( \lnot p \lor q\), isto é, “uma pessoa não é amante de vinhos italianos ou gosta da uva sangiovese”.

A alternativa dada corresponde à fórmula \( \lnot q \lor p\), ou seja, “uma pessoa não gosta da uva sangiovese ou é amante de vinhos italianos”.

Essas fórmulas não são equivalentes: por exemplo, se alguém não é amante (\(p\) falso) e gosta da sangiovese (\(q\) verdadeiro), então \(p \rightarrow q\) é verdadeiro, mas \( \lnot q \lor p\) é falso. Logo, a alternativa representa \( \lnot q \lor p\), não a equivalência correta \( \lnot p \lor q\).