Drücke folgende Aussagen in deutschen Sätzen aus:

  1. ´not AA t: h(t) ^^ EE t: m(t)´
  2. ´AA t: ((h(t) vv n(t)) => not m(t))´
  3. ´AA t_1: ((d(t_1) ^^ EE t_2: (m(t_2) ^^ t_2 < t_1 ^^ AA t_3: ((t_2 < t_3 ^^ t_3 < t_1) => n(t_3)))) => h(t_1))´
  4. ´AA t_1: AA t_2: ((n(t_1) ^^ n(t_2) ^^ EE t_3: (t_1 < t_3 ^^ t_3 < t_2 ^^ d(t_3))) => EE t_3: (t_1 < t_3 ^^ t_3 < t_2 ^^ h(t_3)))´
Solution
    1. ´not AA t: h(t) ^^ EE t: m(t)´ (Negationsregel) ´-=EE t: not h(t) ^^ EE t: m(t)´ Manchmal hat der Student keinen Hunger und manchmal versteht er Mathe.
    2. Immer wenn der Student Hunger hat oder es Nacht ist, dann versteht er Mathe nicht.
    3. Der Student hat bei Tagesanbruch Hunger, wenn er in der Nacht davor Mathe verstanden hat.
    4. An einem Tag zwischen zwei Nächten hat der Student tagsüber mindestens einmal Hunger.
  • URL:
  • Language:
  • Subjects: math
  • Type: Explain
  • Duration: 35min
  • Credits: 4
  • Difficulty: 0.7
  • Tags:
  • Note:
    HPI, Mathematik I - Diskrete Strukturen und Logik, Wintersemester 2012/2013
  • Created By: adius
  • Created At:
    2013-04-12 16:49:14 UTC
  • Last Modified:
    2014-07-20 17:49:50 UTC