Prädikatenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) reagiert/warte auf Reaktion  | | Datum: | 21:26 So 08.10.2006 | | Autor: | kresse |
| Aufgabe | Man bestimme alle m, n [mm] \in \IN, [/mm] für welche die Prädikate Q(m;n) in eine wahre Aussage übergehen.
Q(m;n): (m=n!) [mm] \to [/mm] (m ist durch 10 teilbar) |
hallihallo,
häng bei diesem beispiel leider. die fakultät von n muss eine zahl sein, die ohne rest durch 10 teilbar sein muss, da sonst m nicht gleich n sein könnte. kann es nun sein, dass die lösung der aufgabe folgendes ist:
n >= 5 und m = n!?
vielen dank und liebe grüße
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
|
|
| |
|
Hallo,
ich würde mal behaupten, dass dies schon die vom Aufgabensteller geforderte Lösung ist. Es gibt logischer Weise undendlich viele Paare (m, n), für die das Prädikat wahr ist. Da jede Zahl n! mit N>=5 10 als Teiler hat, wie Du richtig festgestellt hast. Also kannst Du nicht alle Auflisten, sondern musst eine Regel angeben. So hast Du es ja auch gemacht.
Gruß
Matthias
|
|
|
|
