I've been asked to write down a statement using predicate calculus and it is confusing me a great deal.
I've got statement A "no dog can fly" and B "There is a dog which can fly" D = set of all dogs , F = set of all creatures that can fly P(x) is the proposition that "creature x can fly" Q(x) is the proposition that "creature x is a dog"
How do I write statements A and B using predicate calculus in terms of P(x)?
I wrote for A: ∀x(P(x)→¬Q(x) and B: ∃x(P(x)→Q(x) but this doesn't seem right to me at all. Anyone got a suggestion?