Translating quantificational logic

[Nathew]

Homework Statement

Put the sentence into symbols using the suggested notation.

Dolphins and porpoises grin and frolic in the sea. (Dx = x is a dolphin; Px = x is a porpoise; Gx = x grins; Fx = x frolics in the sea)

Homework Equations

None.

The Attempt at a Solution

[/B]
(\forall x)(\forall y)[Dx\rightarrow(Gx\wedge Fx)][Py\rightarrow(Gy\wedge Fy)]
But I'm not sure if this translate exactly as I want it to.

 

[Stephen Tashi]

(\forall x)(\forall y)[Dx\rightarrow(Gx\wedge Fx)][Py\rightarrow(Gy\wedge Fy)]

That doesn't look like standard notation. Do your course materials use the notation "[...][...] " to mean "[...] \land [...] " ?

It would be simpler to think about an equivalent English sentence that begins "Anything that is a dolpin or a porpoise"...