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!

Discrete Math

  1. Jan 27, 2012 #1
    Even though I'm a math major graduating in May, this is the first time I've had a formal exposure to logic.


    I'm not sure on e) and f).


    x domain: all students in this class
    y domain all department courses
    z domain: all departments in this school
    P(x,y,z): student x taken course y in department z

    \exists x \exists z \forall y P(x,y,z) [/itex]


    x, y domain: students in this class
    P(x,y): student x grew up in same town as student y

    \exists x \exists! y [P(x,y) ∧ (x\neq y)] [/itex]
  2. jcsd
  3. Jan 27, 2012 #2
    everything looks correct to me!
    is that from how to prove it a structured approach?
    it looks like some questions in there..
    if you haven't seen that book I'd reccomend it if you're still looking for some extra revision material
  4. Jan 27, 2012 #3
    I was more confident on f) than e). For some reason, e) gave me a hard time. I guess I wasn't sure about the extent to which I could use the propositional function.

    Our textbook is Discrete Mathematics and Its Applications, 6th edition by Kenneth H. Rosen.
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Similar Discussions: Discrete Math
  1. Discrete math (Replies: 3)

  2. Discrete Maths (Replies: 3)

  3. Discrete Math Question (Replies: 9)

  4. Discrete Math Question (Replies: 9)