Aussagen mit Allquantor beweisen

Question

Wie löse ich die folgende Aufgabe? Bzw. was wäre der Ansatz dazu?

Es seien x, y, z ∈ ℕ₀ und es gilt ∃z : x · z = y. Begründen Sie, ob die folgende Aussage im Zusammenhang gilt:

∀t : ( y = 24 ∧ y = 18 ⇒ x ≤ 6)

Answer 1

> ∀t : ( y = 24 ∧ y = 18 ⇒ x ≤ 6)

Das ist allgemeingültig.

Beweis: y = 24 ∧ y = 18 ist unerfüllbar, also ist y = 24 ∧ y = 18 ⇒ x ≤ 6 allgemeingültig. Also ist auch ∀t : ( y = 24 ∧ y = 18 ⇒ x ≤ 6) allgemeingültig.