- There are jackals on the stairs and in the elevator and Tom is scared.
- If there are jackals on the stairs, then they are not on the elevator and Mary is happy.
- Either it is the case that, if there are jackals on the stairs, Bruce is angry or it is the case that if there are wolves in the walls, then there are no jackals on the stairs.
- Tom is scared if, and only if, there are jackals in the elevator and if, and only if, there are jackals on the stairs.
- Mary is not happy and Tom is scared, if there are no wolves in the walls. I believe if I had the symbolization, then I could run the truth tables.
Let J = is a Jackal
Let ST = on the Stairs
Let E = in the Elevator
Let Tom = Tom
Let SC = is Scared
Let Mary = Mary
Let H = is Happy
Let Bruce = Bruce
Let A = is Angry
Let WO = is a wolf
Let WA= in the walls
∃x(Jx ∧ STx) ∧ ∃y(Jy ∧ Ey) ∧ SC(Tom)
∃x(Jx ∧ STx) ⊃ (~∃y(Jy ∧ Ey) ∧ H(Mary))
(∃x(Jx ∧ STx) ⊃ A(Bruce)) ∨ (∃x(WOx ∧ WAx) ⊃ ~∃x(Jx ∧ STx))
(SC(Tom) ⇔∃y(Jy ∧ Ey)) ∧ (SC(Tom) ⇔ ∃x(Jx ∧ STx))
~∃x(WOx ∧ Wax) ⊃ (~H(Mary) ∧ SC(Tom))
Will somebody else please check this for accuracy?