Formalisieren mit Prädikatenlogik?
Moin, ich verstehe diese Aufgabe nicht ganz. Kann mir wer helfen, wäre super . Habe einen Hänger grad :(
Wäre es dann zum Beispiel bei der 1: Für alle x als Elemente der ganzen Zahlen gilt dass sofern sie durch 2 teilbar sind auch durch 3 teilbar sein müssen?
1 Antwort
Für alle x Element der Menge ganzer Zahlen gilt, dass wenn x bei der Teilung durch 2 keinen Rest hat, dann hat es auch bei der Teilung durch 3 keinen Rest.
Es gibt ein x Element natürlicher Zahlen, das kleiner als 0 ist.
Aus x kleiner y folgt, dass alle natürliche Zahlen ganze Zahlen sind.
Für alle natürlichen Zahlen gilt, dass sie durch 2 teilbar und größer 0 sind.
Wenn x nicht 1 ist und wenn für alle natürlichen Zahlen gilt, dass sie Teiler von x sind, dann sind alle natürliche Zahlen 1 und alle natürliche Zahlen sind gleich x (bei dieser Formel bin ich mir unsicher, ob man es so formulieren kann).
Danke für die schnelle Antwort. Bin selber drauf gekommen, deine Antwort hat es mir nochmal bestätigen können, war mir unsicher. Vielen Dank.
Und zu der Frage ich hätte es so formuliert: ……dann sind alle natürlich zahlen gleich 1 oder x ( V ist logisches oder)