# Translating quantificational logic

Tags:
1. Mar 22, 2015

### Nathew

1. The problem statement, all variables and given/known data
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)

2. Relevant equations
None.

3. The attempt at a solution

$(\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.

2. Mar 25, 2015

### Stephen Tashi

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"....