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!

Disc Math Logic statements (Homework check)

  1. Sep 8, 2013 #1
    My solution
    d. [itex]\forallx[/itex][itex]\existsy[/itex](F(x)^S(y) → [itex]\negA(y,x)[/itex])
    e. [itex]\existsx[/itex][itex]\forally[/itex](F(x)^S(y) → [itex]\negA(y,x)[/itex])
    f.[itex]\existsx[/itex][itex]\forally[/itex](S(x)^F(y) → A(x,y))
     

    Attached Files:

    • LL.jpg
      LL.jpg
      File size:
      19.3 KB
      Views:
      73
  2. jcsd
  3. Sep 8, 2013 #2

    pasmith

    User Avatar
    Homework Helper

    For d: You have "for every faculty member, there is a student who has not asked a question of that faculty member". That's not equivalent to "some student has not asked a question of any faculty member", because in the first it might not be the same student in each case. You need to swap the quantifiers.

    The others appear to be correct.
     
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: Disc Math Logic statements (Homework check)
Loading...