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:

Ignition System

That part of a gasoline-powered engine that provides the heat to ignite the air-fuel mixture in the combustion chamber by sending a high-voltage spark through a spark plug gap.

Battery Voltage

The electric potential difference measured across the terminals of a battery, indicating the battery's charge state.

Atkinson Cycle

A modified four-cycle gasoline engine. Compared to the conventional model, the intake stroke in the Atkinson cycle is allowed to continue longer, until the piston is moving back up to compress the air-fuel mixture. This forces some of the air-fuel charge from the cylinder and back into the intake. The reduced charge generates less power but also uses less fuel and produces fewer emissions.

Intake Valve

A valve in an engine that opens to allow air-fuel mixture into the combustion chamber during the intake stroke.