For each of the following sentences, select the best translation into predicate logic, using the given constants and predicates.
-Farzona's dropping art history is a sufficient condition for her being unhappy.
A) Uf ≡ Af
B) Af ⊃ Uf
C) Fa ≡ Uf
D) Af • Fu
E) Fa ≡ Fu

Question

Quizplus · Accepted Answer

Let Af represent "Farzona is dropping art history" and Uf represent "Farzona is unhappy". 
The sentence "Farzona's dropping art history is a sufficient condition for her being unhappy" can be translated directly into "If Farzona drops art history, then she will be unhappy". This is logically equivalent to the conditional statement Af ⊃ Uf. Therefore, choice B is the best translation.

For Each of the Following Sentences, Select the Best Translation