Translate each of the following into the logical notation of propositional functions and quantifiers, in each case using the abbreviations suggested and making each formula begin with a quantifier, not with a negation symbol.

“To swim is to be a penguin.” ( Sx: x swims; Px: x is a penguin.)
—Christina Slagar, curator, Monterey
Bay Aquarium, 17 January 2003