For each English sentence on the left, there is a corresponding logical sentence on the right, but not necessarily the one across from it. Work out which English sentence corresponds to which propositional logic sentence, and hence determine the meaning (in English) of each proposition symbol.

English

There is a Wumpus at (0, 1). 

If the agent is at (0, 1) and there is a Wumpus at (0, 1),

 then the agent is not alive. 

The agent is at (0, 0) and there is no Wumpus at (0, 1).

The agent is at (0, 0) or (0, 1), but not both.

Propositional Logic 

(C ∨ B) ∧ (¬C ∨ ¬B) 

C ∧ ¬D 

¬A ∨ ¬(B ∧ D) 

D