Aufgabe:
Über dem Individuenbereich ℕ seien die beiden zweistelligen Prädikate
V(a,b) = „a ist Vielfaches von b“
und
K(a,b) = „a ist kleiner oder gleich b“
gegeben. Formulieren Sie hiermit je eine prädikatenlogische Formel, die
a)
die Vielfachen von 17, die kleiner sind als 100,
b)
das kleinste gemeinsame Vielfache (kgV) zweier natürlicher Zahlen p und q definiert.
Problem/Ansatz:
Keine blassen Schimmer!
