Aussageform

b) c) d) e) f) g) 5) Quantorisierungen: a) Man untersuche alle Quantorisierungen der Aussageform x • y ≤ y + z über ℕ, die mit dem Quantor ∀z beginnen, daraufhin, ob sie wahr oder falsch sind. b) Für die Aussageform x + y ≤ x • y über ℕ gebe man alle Quantorisierungen an und entscheide mit Beweis, welche davon wahr und welche davon falsch sind. c) Für die Aussageform x + 2y ≤ 2x • y über ℕ gebe man alle Quantorisierungen an und entscheide mit Beweis, welche davon wahr und