Hallo,
ich habe ein Problem mit folgender Aufgabe:
die Aussage „x ist Zweierpotenz“ soll durch eine logische Formel dargestellt werden, wobei nur 0, 1, +, *, =, Allquantor und Existenzquantor sowie Junktoren verwendet werden dürfen.
Ich habe da einen rekursiven Ansatz
Zweierpotenz(x) x=1 ODER Zweierpotenz(x/2)
geht es irgendwie anders?
danke schon mal…
Gruß, Christoph
Hallo,
der Ansatz ist völlig ok. Nur schreibst Du mangels einer Division für
Zweierpotenz(x/2)
einfach
exists y. x=2*y und Zweierpotenz(y)
Gruss
Enno
Danke für die Berichtigung… Die Aufgabe war im Fach „Diskrete Mathematik“, ich weiß nicht, ob der Prof die rekursive Lösung akzeptiert…
Gibt es da eine nicht- rekursive Lösung?
Hallo,
was habt ihr in dem Rahmen schon so alles definiert (z.B. natürliche Zahlen via Peano-Axiome) ?
Gruss
Enno
Hallo Enno,
bis jetzt hatten wir Grundlagen der Aussagen- und Prädikatenlogik sowie die Mengenlehre gehabt. ( Relationen, Abbildungen und die natürlichen Zahlen noch nicht).
Gruß, Christoph