Predicate Logic

[Jess]

Check please?

Only Bob wears a hat.
UD: People
Hx: x wears a hat.
b: Bob

Hb ˄ (∀x)(Hx --> x=b)


Exactly two dogs bark.
UD: Animals
Bx: x barks.
d: dog

(Ǝx)(Ǝy)[(Bx ˄ By) ˄ (Bd ˄ ¬x = y)]