1. Not finding help here? Sign up for a free 30min 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!

Help NOW

  1. Oct 31, 2007 #1
    Hey all, How do we write this statements in first order logic?and give approprate designations to each predicate you introduce?


    In every company, there is exactly one employee who has no manager.

    my answer for that: AxCx(E!y(Ey.~My))

    every course is taken by student

    my answer for that: Ax(Cx----> Sx)

    a student takes every course

    my answer for that: Ex( Sx.Cx)


    A IS FOR ALL X..AND E IS THERE IS AT LEAST ONE...E! IS THERE IS EXACTLY ONE
    THE OTHER E ABOVE IS EMPLOYEE


    thanks..hope you correct my answers and i came close
     
  2. jcsd
  3. Oct 31, 2007 #2

    PhY

    User Avatar

    Don't write help.
    Write name of Topic ...so people who know can immediately help you.
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?