For each of the following sentences, select the best translation into predicate logic, using the given constants and predicates.
-If Tranh takes a sabbatical then neither she nor Minh will feel overworked.
A) St ⊃ (∼Ot $ \lor $ Om)
B) St ⊃ ∼(Ot $ \lor $ Om)
C) St ⊃ ∼(Ot $ \lor $ ∼Om)
D) St ⊃ (Ot $ \lor $ Om)
E) St ⊃ ∼(∼Ot $ \lor $ Om)

Question

Quizplus · Accepted Answer

The correct translation is "If Tranh takes a sabbatical (St), then it is not the case that Tranh feels overworked (Ot) or Minh feels overworked (Om)." This is best represented by option B, which correctly uses negation to indicate that neither Tranh nor Minh will feel overworked if Tranh takes a sabbatical.

For Each of the Following Sentences, Select the Best Translation ∨ \lor ∨

For Each of the Following Sentences, Select the Best Translation $\lor$