Betrachte die vier Universen ´{0,1}, ZZ, QQ^+, RR´

In welchen der Universen gelten die folgenden Aussagen:

  1. ´EE x: AA y: (x <= y)´
  2. ´AA x: EE y: (y^2 = x)´
  3. ´AA x: EE y: not (y <= x)´
  4. ´AA (x,y): ((not (y <= x)) => EE z: not ((z <= x) vv (y <= z)))´
Solution
    1. ´{0,1}´
    2. ´{0,1}´
    3. ´ZZ, QQ^+, RR´
    4. ´QQ^+, RR´
  • URL:
  • Language:
  • Subjects: math
  • Type: Name
  • Duration: 30min
  • Credits: 4
  • Difficulty: 0.4
  • 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:56:24 UTC