Recent content by Cruger

  1. C

    The main function in an Interrupt of a Computer

    Hi there, Can somebody explain me the main function in Interrupt in the operating System?
  2. C

    Converting logical statements about class attendance to first order logic

    how about this? 1) \forallx [\existsy \neginClass(y) \rightarrow ill(y) \vee lazy(y)] 2) \neg \existsx (go(ill_people, x) \wedge shopping(x)) 3) \existsx teacher(x) \wedge (hasNoticed(x, James) \wedge \neg inClass(Suresh)) \wedge goes(James, shopping))
  3. C

    Converting logical statements about class attendance to first order logic

    Is this right? 1) \existsx person(x) \wedge \neginClass(x) \rightarrow ill(x) \vee lazy(x) 2) \forallx person(x) \wedge ill(x) \rightarrow \neggoShopping(x) 3) \existsx teacher(x) \wedge (hasNoticed(x, James) \wedge \neginClass(James) \wedge goShopping(James))
  4. C

    Converting logical statements about class attendance to first order logic

    Can you please write it in correct way? I need to have a clear idea...
  5. C

    Converting logical statements about class attendance to first order logic

    Hello there, I have 3 sentences. They are: 1) If someone is not in the class then that person is either ill or lazy. 2) Ill people do not go for shopping. 3) The class teacher noticed that James is not in the class but she has seen James come out of the Candy...