1. Limited time only! Sign up for a free 30min personal tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Translating quantificational logic

  1. Mar 22, 2015 #1
    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

    [itex](\forall x)(\forall y)[Dx\rightarrow(Gx\wedge Fx)][Py\rightarrow(Gy\wedge Fy)][/itex]
    But I'm not sure if this translate exactly as I want it to.
     
  2. jcsd
  3. Mar 25, 2015 #2

    Stephen Tashi

    User Avatar
    Science Advisor

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

    It would be simpler to think about an equivalent English sentence that begins "Anything that is a dolpin or a porpoise"....
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?
Draft saved Draft deleted



Similar Discussions: Translating quantificational logic
Loading...