If There Are Any Guards, Then If None of the Prisoners

question 36

Multiple Choice

If there are any guards, then if none of the prisoners escape, then they will be rewarded.

• A) (x){[Gx ⊃(y)(Py ⊃ ∼Ey)] ⊃ Rx}
• B) (x){Gx ⊃ [(∃y)(Py • ∼Ey) ⊃ Rx]}
• C) (∃x)Gx ⊃ [(y)(Py ⊃ ∼Ey) ⊃ Rx]
• D) (x){Gx ⊃ [(y)(Py ⊃ ∼Ey) ⊃ Rx]}
• E) (∃x){Gx • [(y)(Py ⊃ ∼Ey) ⊃ Rx]}

---

Definitions:

Security Thread

A thin strip of metal or plastic embedded in paper currency and valuable documents as a measure against counterfeiting.