Translate the passage into TFL

Question

Pam and Sam will see Us if and only if the theater opens at noon. The theater opens at noon if Sam won't see Us. Therefore, either Pam will see Us or she won't

If Amanda wins the competition, then she will either be happy or unhappy. If she is happy then she will take a vacation unless it is to expensive. The vacation is inexpensive, so she will take it

Answer 1

P: Pam will see Us

S: Sam will see Us

T: The theater opens at noon

(P & S) ≡ T

~S ⊃ T

∴ P v ~P

A: Amanda wins the competition

H: Amanda is happy

V: Amanda will take a vacation

E: The vacation is expensive

A ⊃ (H v ~H)

~E ⊃ (H ⊃ V)

~E

∴ V

~p: not-p (negation)

p & q: p and q (conjunction)

p v q: p or q (disjunction)

p ⊃ q: if p, then q (conditional)

p ≡ q: p if and only if q (biconditional)

∴ : therefore...