Logik erster Stufe #1 - Motivation und Beispiele

Wir sehen uns anhand von einigen Beispiel an, was Logik erster Stufe (Prädikatenlogik) ist und wozu man sie benutzen kann.

[@charlottesommer6619]

Wirklich hilfreich! Herzlichen Dank für Ihr verständliche Videos!

[@fibowibo5359]

super dass diese Reihe endlich am Start ist! Bin sehr gespannt auf alle weiteren Inhalte :) hast du dich auch schon mal mit mehrwertiger Logik beschäftigt? Finde den Ansatz von Gotthard Günther unglaublich spannend zurzeit.

[@UnderDarkSkies]

Oh, echt verständlich erklärt. Gibt es eine Reihenfolge aller deiner Videos, so dass alles lerntechnisch aufeinander aufbaut, und wenn ja, wo finde ich die?

[@NLogSpace]

Ich habe einige sehr lange Playlists, eine zu Formalen Sprachen, eine zu Berechenbarkeit, eine zu Komplexität, eine zu Logik. Diese decken fast alle Videos auf meinem Kanal ab. Du findest sie, wenn Du auf meinen Kanal gehst und dann unter Playlists.

[@UnderDarkSkies]

@@NLogSpace ah OK, Danke! Ich hatte nämlich das Problem, dass die Videos, die ich angeschaut hatte, teilweise anderes Wissen voraussetzen, so dass ich mich gefragt habe, wo ich anfangen soll, wenn ich alles nochmal von vorn wiederholen möchte.

[@liil9418]

der Primzahldefinition nach ist 1 aber auch ein Primzahl, da jeder Teiler von 1 immer 1 (und damit immer 1 oder z) ist.

[@NLogSpace]

Sehr gut aufgepasst! Ja, das ist mir im Nachhinein auch aufgefallen, dass die Formel nur sagt es müssten höchstens zwei Teiler sein. Im nächsten Video ist die Formel nochmal zu sehen, da habe ich es stillschweigend verbessert.

[@josefudoreyvu1711]

Nein, ich würde sagen die Definition im Video ist richtig. Es wird besagt, es muss ein y und z existieren, sodass y != z und wenn eine Zahl x die Zahl p teilt, dann x = y oder x = z muss gelten. Bei 1 ist die Bedingung "y != z" nicht erfüllt, da nur 1 ein Teiler ist, deswegen die Aussage gilt nicht für 1, oder?

[@liil9418]

Da steht aber nicht, dass x und y Teiler sein müssen. Für 1 kann man z.B. x=1 und y=100 nehmen und die Implikation bleibt wahr, weil jeder Teiler von 1 entweder 1 oder 100 ist.

[@liil9418]

Ist aber leicht zu blundern, Leif hat ja offensichtlich an die 1 gedacht und das (y≠x) hat den Fehler dann nochmal obfuscated.

[@josefudoreyvu1711]

@@liil9418 ja, hast Recht mein Fehler : )

[@stephangoldenberg9163]

Puh, ich hoffe mal da kommt noch mehr. Bei der Primzahl war ich schon raus. ;(

[@Harrakirii666]

was bedueten diese komischen buchstaben ? wie füge ich die den ein