Du möchtest früheren Zugang zu meinen Videos, IT-Quizfragen, CTF-Challenges, exklusive Hacking-Videos und PDF-Transskripte? Dann schau gerne mal bei Patreon vorbei 👉 www.patreon.com/florian_dalwigk
Endlich mal ein schönes und interessantes Beispiel zum Thema Aussagenlogik. Außerdem auch sehr nützlich weil du alle Regeln, die man dafür braucht erwähnst und erklärst. Schaue ich mir auf jeden Fall noch mehrmals an wenn ich für meine Mathe 1 Klausur lerne (ich studiere Medieninformatik, allerdings nicht im ersten Semester aber hab Mathe 1 noch offen). Danke für die tollen Videos und weiter so :)
😄 Schmarrn ... dein Kommentar zeigt doch, dass du alles andere als dumm bist, wenngleich deine Konklusion völlig korrekt ist. Du solltest aber noch einmal deine Prämissen überprüfen 😉
@@1internationalist das sagt wirklich nichts über deine Intelligenz aus. Es ist tatsächlich öfter so, dass intelligente Menschen sich für dumm halten als umgekehrt. Und allein der Fakt, dass du dir so ein Video anschaust lässt nicht vermuten, dass du sonderlich dumm wärst.
Hi, Respekt für das Video. War sehr informativ. Ich (34) fange zwar grade erst an mir selbst Java beizubringen und ich hab irgendwie das Gefühl, dass das Video mir noch weiterhelfen wird, an einem späteren Punkt, in meiner Lernphase. Von der ganzen Aussagenlogik habe ich, als Anfänger, schon ein paar Sachen verstanden, ohne mich jemals damit beschäftigt zu haben aber es fehlt noch ein bißchen das Verständnis für gewisse Aussagen oder auch Regeln.....das kommt noch. :) Danke dafür. :)
Wenn ich in der Schule Logik gehabt hätte. Dann wäre meine Zeit nicht verschwendet gewesen. (A -> 7B) Ich hatte keine Logik in der Schule. Also war meine Zeit verschwendet. (7A -> B)
Ich habe vor kurzem beim Abitur im Fach Informatik-Theorie Aussagenlogik gehabt. Vorgestern habe ich ein buch gelesen, in dem das alles auch vorkam und jetzt wird mir auch ein Video von dir vorgeschlagen xd was ein Zufall.
Kennt ihr das, wenn ihr Sachen schon sehr oft gesehen, aber nie so 100% verstanden habt? Ich hatte jetzt schon mehrfach Aussagenlogik, aber noch nie das richtige Zeichen für die XOR-Operation gesehen. Irgendwie wird das Bild dadurch endlich mal komplett und das ist ein tolles Gefühl. Danke dir!
Es ist nicht "das richtige" Zeichen für die XOR-Operation. Als Logiker kenne ich den Punkt zwar aus mathematischer Notation um Disjunktheit vorauszusetzen, habe ihn aber noch nie über einem OR-Symbol gesehen. Üblicherweise verwendet man '↮' ( leftrightarrow in LaTeX). Also wie '↔' für Äquivalenz, aber durchgestrichen. Denn XOR als zweistelliger Operator ist nichts als negierte Äquivalenz. Selbst diese doppelten Pfeile (die man sogar in der Schule verwendet) sind unüblich in der Aussagenlogik, es sind typischerweise Pfeile mit einfachem Strich.
@@matteomoser6535 Dieses Symbol ist typisch in der Booleschen Algebra. Im akademischen Kontext habe ich es noch nie zur Aussagenlogik gesehen, aber es war leicht ein paar Onlinetutorials zu finden, die es dort verwenden..
In diesem Fall meinte ich tatsächlich das klassische OR und habe es nur aus sprachästhetischen Gründen so genannt. Das ist eben das Problem an Prosa ... die logischen Operatoren sollen hier tatsächlich Vorrang haben.
@@Florian.Dalwigk Ich hätte noch eine Frage an Sie. Ich überlege nächstes Jahr eventuell Mathematik zu studieren und habe mir dafür einige Videos und Webseiten angeschaut. Die Videos auf diesen Kanal finde ich sehr verständlich und hilfreich, jedoch weiß ich nicht, ob Ihre Videos, die Mathematik behandeln, sich nur auf das Informatikstudium beziehen. Somit wollte ich fragen, ob Sie wissen ob die Mathematik im Informatikstudium vergleichbar mit derer im reinen Mathematikstudium ist.
Gibt es entsprechende Junktoren (insb. z.B. bei "entweder-oder") irgendwo als Zeichen auf dem Computer? Finde es weder in der Zeichentabelle noch als Text im Internet (immer nur eine Grafikdatei)..
Interessant 🤔 Wo man sie auf der Tastatur findet, weiß ich leider auch nicht. In Java nutzt man für das XOR aber z. B. das Zirkumflex (^). Hier mal ein paar Zeichen, die ich aus meinen Blog-Artikeln herauskopieren konnte: ¬, ∧, ∨, ⟹, ⟺ und ⊕. Ich hoffe, dass dir das weiterhilft.
Haha, dass das noch niemandem aufgefallen ist ... ich kann mich nicht daran erinnern, dass das schon im Kontrollschauen war. Egal, vielen Dank auf jeden Fall für die Anmerkung! Gemeint war der Modus Tollens.
Man auch mit ein wenig Aufwand ein Programm schreiben das Saetzte wie die bei 11:33 ueberpruft indem es einfach alle Moglichkeiten fuer die einzelnen Variablen auswertet und schaut , ob sie wahr sind.
Das Video ist sehr gut. Die Frage ist jetzt, ob das eine eindeutige Aussage ist, da "sehr gut" ja meine subjektive Sichtweise ist. Dennoch bleibt mein Punkt :D
Hallo und guten Tag, zu dem Video habe ich eine Anmerkung, die die Implikation betrifft: Jeder logische Schluss kann als Implikation geschrieben werden, aber nicht jede Implikation ist ein logischer Schluss. Der Fachausdruck für »logischer Schluss« ist »Syllogismus«. Ein Syllogismus liegt vor, wenn aus zwei oder mehr Voraussetzungen (Prämissen) eine Schlussfolgerung (Konklusion) gezogen wird. Beispielsweise ist das Folgende ein gültiger logischer Schluss (ein gültiger Syllogismus): Wenn es regnet, dann wird die Straße nass. (Prämisse) Nun regnet es. (Prämisse) ---------------------------------------------------------------------------------------- Also wird die Straße nass. (Konklusion) Das kann nun auf verschiedene Weise formalisiert werden. Beispielsweise so: A: Es regnet B: Die Straße wird nass. A→B A ---------- B Oder so: A: Es regnet B: Die Straße wird nass. ((A→B) ∧ A)→B In dieser zweiten Formalisierung wird der Syllogismus formal als Implikation mit dem Ausdruck (A→B) ∧ A als Vordersatz und B als Hintersatz geschrieben. Das kann auf diese Weise mit jedem Syllogismus gemacht werden. Dabei bilden immer die (UND-verknüpften) Prämissen (mindestens zwei) den Vordersatz der Implikation und die Konklusion den Hintersatz. Nur ist die Prämisse: Wenn es regnet, dann wird die Straße nass selbst kein logischer Schluss. Es wird nicht von »Es regnet« auf »Die Straße wird nass« geschlossen, sondern es wird behauptet, dass diese beiden atomaren Aussagen in einer Beziehung zueinander stehen, die als Implikation (wenn-dann-Satz) ausgedrückt werden kann. Es kann sich gar nicht um einen logischen Schluss (einen Syllogismus) handeln, weil mindestens zwei atomare Aussagen als Prämissen erforderlich sind, um auf eine Konklusion zu schließen. In der Implikation A: Es regnet B: DieStraße wird nass. A→B gibt es im Vordersatz aber nur eine atomare Aussage. Deshalb handelt es sich dabei nicht um einen logischen Schluss (Syllogismus). Ein Test, der gemacht werden kann, um zu prüfen, ob es sich bei einer Implikation um einen gültigen logischen Schluss handelt oder nicht, ist eine Wahrheitswertanalyse (beispielsweise mittels Wahrheitstafeln). Ein gültiger logischer Schluss ist immer logisch wahr, das heißt es gibt keinen Fall, in dem der Schluss als Ganzes falsch werden würde. Das gilt aber nicht für jede Implikation. Die Implikation »Wenn es regnet, dann wird die Straße nass« beispielsweise ist genau dann falsch, wenn es regnet und die Straße nicht nass wird (und sonst wahr). Soweit an dieser Stelle. Viele Grüße Marcus 😎
Unabhängig vom Wahrheitsgehalt ist und bleibt es aber doch eine Aussage (von der Art, die man vermeiden sollte :-) !? Die Bedeutung natürlicher Spache ist leider oft nicht so eindeutig wie eine mathematische Gleichung und bezieht sich meistens (stillschweigend) auch auf den Kontext, Randbedingungen, etc, und wird (insbesondere bei selbstbezüglichen Aussagen, einschließlich "alle" und "niemand") oft zu einem philosophischen Problem, oder erfordert sonstige zusätzliche Angaben, und der Wahrheitswert bleibt deshalb _"im schlimmsten Fall"_ oft unbestimmt oder unbestimmbar (das ist beides nicht genau das gleiche) oder ein (unlösbares) Paradoxon. ps: Was ist zB mit "alle lügen" gemeint? "alle lügen immer" (garantiert nicht wahr wegen Widerspruch, aber wegen "alle" und "immer" unbestimmt entweder falsch [wenn mindestens einer mindestens einmal nicht lügt] oder Paradoxon [wenn alles außer dieser Aussage immer Lügen sind]), "alle lügen manchmal" (unbestimmbar wegen "alle" und vagem "manchmal", _wahrscheinlich_ wahr), "alle außer mir lügen", etc
Super Video! Am Anfang bin allerdings über "Mein Name ist Bond" gestolpert. Das ist für mich keine Aussage, da der Wahrheitswert vom Sprecher abhängt. Oder anders gesagt: "Mein Name" ist eine Variable und das Konstrukt ein Prädikat/Aussageform und eben keine Aussage. Unabhängig davon: Ein grandioses Video, auf das ich nun immer gerne in meinen Anfängervorlesungen verweisen möchte :)
Zum Thema "Bond" :) In einigen Lehrbüchern werden Aussagen, die vom Sprecher abhängen, auch als Aussagen aufgefasst (so z. B. "Ich habe Hunger"). Deshalb habe ich das auf dieses Beispiel übertragen. Das wäre eigentlich schon wieder ein eigenes Video wert. In diesem Zusammenhang könnte man dann auch Sätze wie "dieser Satz ist falsch" bzw. die Russellsche Antinomie behandeln. Liebe Grüße und nochmals vielen Dank!
1×2×3×4×5 = 5! trotz des "!" am Ende ist dies eine Aussage :-) wegen des "!" am Ende ist es eine wahre Aussage ("120=5!"). ohne das "!" am Ende wäre es auch eine Aussage, aber eine falsche ("120=5"). _für die, die jetzt verwirrt sind:_ "!" ist ein mathematischer Operator, nämlich alles von 1 bis zu dieser Zahl miteinander zu multiplizieren, also in *_diesem_* Fall kein Ausrufezeichen, das einen Befehl aus dem Satz macht.
Bei 13:05 sagst du, dass er kein Alibi hat, obwohl er eins hat. Könnte vielleicht verwirrend sein, deswegen dachte ich, dass ich dir das in Form eines Kommentars da lasse. P.S. Sehr gute und informative Videos
Dies hätte ich gerne am Anfang meines Informatikstudiums gesehen.... Wir hatten so Beispiele wie: "Wenn es draußen regnet, und ist der Mond aus Käse" (und nein, dies ist kein Witz...) Hast du noch was cooles zu Logikrätseln??
Hallo aller liebster Lieblingsyoutuber, kannst du mir erklären wie Computer in Taschenrechnern zu periodische Nachkommastellen kommen, oder berechnen sie sie wirklich??
Reelle Zahlen in Computern (so auch Taschenrechnern) zu speichern, ist sehr schwierig. Sie werden in Binärzahlen mit Komma gespeichert. Wie man das berechnet, habe ich hier erklärt: th-cam.com/video/t8BSzFQj1fQ/w-d-xo.html Im Prinzip arbeitet der Taschenrechner nur mit diesen binären Darstellungen. Die Theorie dahinter ist ziemlich umfangreich und durchaus ein eigenes Video wert ;) Aber kurz gesagt: der Rechner übersetzt alle Zahlen in Maschinenzahlen und rechnet mit diesen dann weiter. Exakte Ergebnisse gibt es dabei nicht immer.
Danke für das Video, eventuelle eine Frage bezogen auf Implikation: Wenn die Aussage A: x ist eine gerade natürliche Zahl ist. und die Aussage B: y > 4 ist. Wie bildet man A=> B? Ist diese Antwort richtig: Aussage A ⇒ B: 5 7 9 11 13 … Ich darf dich um einen Hinweis bitten. Und noch eine Frage: Ist eine Implikation ein Argument?
Bezüglich der Implikation habe ich Probleme eine falsche Prämisse und eine falsche Konklusion zu einem "Wahrwert" zu führen. Das näheste was ich interpretativ schlussfolgern würde wäre eine Form der Trivialität. Sobald A falsch ist gibt es keinen Anspruch mehr an B. Weshalb Zeile 1 und 2 beide "Wahr" sind. Gleichermaßen habe ich den Eindruck, dass diese wahr/falsch Interpretation nicht ganz korrekt ist. Einfach aus dem Grund: Falsch/Falsch und Falsch/Wahr führen zu Wahr. Mein Eindruck ist beim Wort Implikation stoßen Sprach- und Mathegebrauch aufeinander und sind nur noch bedingt kompatibel.
Ich verstehe dein Gefühl, dass hier Sprach- und Mathegebrauch aufeinanderstoßen. Ich hatte am Anfang immer eher ein "unbestimmt" vermutet, denn wenn die Voraussetzungen falsch sind, weiß ich doch nicht, ob das, was ich daraus folgere *wahr* oder *falsch* ist. Vielleicht hilft dir der Weg über die Äquivalenz A->B NOT(A) OR B.
Brauchst du das an dieser Stelle? Du musst dir eine neue Aussage definieren, z. B. "Fr. Takahashi ist das Opfer" und das dann in Beziehung zur bereits vorhandenen Aussage setzen. Versuche es mal ...
Mein Kopf qualmt schon vom denken könnte an meiner Blindheit liegen oder auch daran das Ich mir das Video 5 Mal angeschaut habe und es nur zu einem Teil verstehe, fühle mich wieder wie in der Schule unbeholfen und dumm 😅 Sherlocks Logik ist mir zu hoch ich bleibe da lieber bei meiner weiblichen Intuition😂😂😂
Ist pi ist nicht gerade nicht exakt das selbe wie pi ist ungerade den Pi kann ja nur gerade oder ungerade sein und wieso soll bei ungerade beide negationen falsch sein pi kann unmöglich ungerade und gerade zu gleich sein wäre das dann nicht ein so genannter endlicher spezial Fall und wieso muss etwas dass nicht schwarz ist im Spektrum der menschlichen Sichtbarkeit sein kann es nicht auch ultraviolet oder Infrarot sein oder irgendetwas anderes im nicht spektralen Bereich der menschlichen Sichtbarkeit sein
@@Florian.Dalwigk was wirklich das hat mir in meinen 13 Jahren Schule kein Lehrer bei gebracht wieder was neues gelernt Danke aber was können zahlen dann noch sein außer gerade und ungerade
@@Florian.Dalwigk ich habe die 1 als 0 defeniert, mir ist die Rechenleistung egal, kannst du mal bitte bitte bitte bitte einen Discord Server machen.....
@@bluekernel2448 :D Was ist denn der Vorteil von einem Discord-Server? Mir haben das schon mehrere Leute vorgeschlagen und ich weiß gar nicht, was das ist :)
Du möchtest früheren Zugang zu meinen Videos, IT-Quizfragen, CTF-Challenges, exklusive Hacking-Videos und PDF-Transskripte? Dann schau gerne mal bei Patreon vorbei 👉 www.patreon.com/florian_dalwigk
Endlich mal ein schönes und interessantes Beispiel zum Thema Aussagenlogik. Außerdem auch sehr nützlich weil du alle Regeln, die man dafür braucht erwähnst und erklärst. Schaue ich mir auf jeden Fall noch mehrmals an wenn ich für meine Mathe 1 Klausur lerne (ich studiere Medieninformatik, allerdings nicht im ersten Semester aber hab Mathe 1 noch offen). Danke für die tollen Videos und weiter so :)
Oh, vielen lieben Dank für dein Lob und natürlich viel Erfolg für deine Mathe 1 Klausur, wenn du sie schreibst :)
Prämisse 1: Ich bin schlecht in Mathe
Prämisse 2: Wer schlecht in Mathe ist, ist (möglicherweise) dumm
Konklusion: Ich bin (möglicherweise) dumm 😥
😄 Schmarrn ... dein Kommentar zeigt doch, dass du alles andere als dumm bist, wenngleich deine Konklusion völlig korrekt ist. Du solltest aber noch einmal deine Prämissen überprüfen 😉
Das klingt mir ein wenig nach transitiver Logik, möglicherweise biste gar nich so dumm haha
Mag sein, hab in Mathe dennoch nur 5en kassiert
@@1internationalist das sagt wirklich nichts über deine Intelligenz aus.
Es ist tatsächlich öfter so, dass intelligente Menschen sich für dumm halten als umgekehrt. Und allein der Fakt, dass du dir so ein Video anschaust lässt nicht vermuten, dass du sonderlich dumm wärst.
Prämisse 3: Wer (möglicherweise) dumm ist, hatte (wahrscheinlich) keine guten Lehrer.
;-)
Hi,
Respekt für das Video. War sehr informativ. Ich (34) fange zwar grade erst an mir selbst Java beizubringen und ich hab irgendwie das Gefühl, dass das Video mir noch weiterhelfen wird, an einem späteren Punkt, in meiner Lernphase.
Von der ganzen Aussagenlogik habe ich, als Anfänger, schon ein paar Sachen verstanden, ohne mich jemals damit beschäftigt zu haben aber es fehlt noch ein bißchen das Verständnis für gewisse Aussagen oder auch Regeln.....das kommt noch. :)
Danke dafür. :)
Ich war zwar ab der Hälfte raus, aber das ist super interessant. Genau deswegen habe ich Informatik als Studium gewählt.
Super :) Viel Erfolg im Studium!
Hammer Video!!!! Tolle Zusammenfassung der aussagenlogik. Werd ich weiterempfehlen
Danke:)
du lernst nur coden durch coden
danke für die auffrischung, lange nicht mehr Logik gehabt und das video ist da genau das richtige vor hochschul start
Gerne doch ;) Viel Erfolg im Studium!
dank deines namens kann ich nach rechts scrollen
Wohl eher Dank TH-cam, die diesen Bug nicht beheben.
Wenn ich in der Schule Logik gehabt hätte.
Dann wäre meine Zeit nicht verschwendet gewesen. (A -> 7B)
Ich hatte keine Logik in der Schule.
Also war meine Zeit verschwendet. (7A -> B)
Ich habe vor kurzem beim Abitur im Fach Informatik-Theorie Aussagenlogik gehabt. Vorgestern habe ich ein buch gelesen, in dem das alles auch vorkam und jetzt wird mir auch ein Video von dir vorgeschlagen xd was ein Zufall.
Zufall? Ich denke nicht ;)
13:50 Zu 2.) Nein, das ist die falsche Aussage, ein "entweder, oder" ist ein XOR (exklusives Oder), kein OR (inklusives Oder).
Kennt ihr das, wenn ihr Sachen schon sehr oft gesehen, aber nie so 100% verstanden habt? Ich hatte jetzt schon mehrfach Aussagenlogik, aber noch nie das richtige Zeichen für die XOR-Operation gesehen. Irgendwie wird das Bild dadurch endlich mal komplett und das ist ein tolles Gefühl. Danke dir!
Vielen lieben Dank! Es freut mich, dass das Puzzle nun komplett ist.
Es ist nicht "das richtige" Zeichen für die XOR-Operation. Als Logiker kenne ich den Punkt zwar aus mathematischer Notation um Disjunktheit vorauszusetzen, habe ihn aber noch nie über einem OR-Symbol gesehen. Üblicherweise verwendet man '↮' (
leftrightarrow in LaTeX). Also wie '↔' für Äquivalenz, aber durchgestrichen. Denn XOR als zweistelliger Operator ist nichts als negierte Äquivalenz. Selbst diese doppelten Pfeile (die man sogar in der Schule verwendet) sind unüblich in der Aussagenlogik, es sind typischerweise Pfeile mit einfachem Strich.
@@xamidi kenne das XOR Symbol als Kreis mit einem Kreuz drin: ⊕
@@matteomoser6535 Dieses Symbol ist typisch in der Booleschen Algebra. Im akademischen Kontext habe ich es noch nie zur Aussagenlogik gesehen, aber es war leicht ein paar Onlinetutorials zu finden, die es dort verwenden..
Ich liebe dich danke
Sehr gerne 😊
13:54 Müsste hier nicht ein Punkt über OR stehen, da es sich um einen Entweder oder Fall handelt?
In diesem Fall meinte ich tatsächlich das klassische OR und habe es nur aus sprachästhetischen Gründen so genannt. Das ist eben das Problem an Prosa ... die logischen Operatoren sollen hier tatsächlich Vorrang haben.
@@Florian.Dalwigk okay gut, danke
Gerne 🙂
@@Florian.Dalwigk Ich hätte noch eine Frage an Sie. Ich überlege nächstes Jahr eventuell Mathematik zu studieren und habe mir dafür einige Videos und Webseiten angeschaut. Die Videos auf diesen Kanal finde ich sehr verständlich und hilfreich, jedoch weiß ich nicht, ob Ihre Videos, die Mathematik behandeln, sich nur auf das Informatikstudium beziehen.
Somit wollte ich fragen, ob Sie wissen ob die Mathematik im Informatikstudium vergleichbar mit derer im reinen Mathematikstudium ist.
Es kommt darauf an. Zum Mathestudium mache ich noch ein separates Video! Im Mathestudium geht man aber noch mehr auf Beweise ein.
Sehr interessant!
Danke :)
Super erklärt. Konnte mein verstaubtes Wissen damit optimal auffrischen.
Danke für dein Lob :) Es freut mich sehr, dass dir das Video weitergeholfen hat!
Gibt es entsprechende Junktoren (insb. z.B. bei "entweder-oder") irgendwo als Zeichen auf dem Computer? Finde es weder in der Zeichentabelle noch als Text im Internet (immer nur eine Grafikdatei)..
Interessant 🤔 Wo man sie auf der Tastatur findet, weiß ich leider auch nicht. In Java nutzt man für das XOR aber z. B. das Zirkumflex (^). Hier mal ein paar Zeichen, die ich aus meinen Blog-Artikeln herauskopieren konnte: ¬, ∧, ∨, ⟹, ⟺ und ⊕. Ich hoffe, dass dir das weiterhilft.
@@Florian.Dalwigk Dankeschön =).
Die anderen scheint es wohl nicht im Unicode zu geben.. warum eigentlich nicht?
Bei 12:46 ist leider etwas dem Schnitt zum Opfer gefallen.
Oder fehlt nur mir das Ende des Satzes? ^^
Dennoch tolles Video.
Haha, dass das noch niemandem aufgefallen ist ... ich kann mich nicht daran erinnern, dass das schon im Kontrollschauen war. Egal, vielen Dank auf jeden Fall für die Anmerkung! Gemeint war der Modus Tollens.
Man auch mit ein wenig Aufwand ein Programm schreiben das Saetzte wie die bei 11:33 ueberpruft indem es
einfach alle Moglichkeiten fuer die einzelnen Variablen auswertet und schaut , ob sie wahr sind.
Das Video ist sehr gut. Die Frage ist jetzt, ob das eine eindeutige Aussage ist, da "sehr gut" ja meine subjektive Sichtweise ist.
Dennoch bleibt mein Punkt :D
😄😊 Subjektivität spielt da keine Rolle 😉
@@Florian.Dalwigk Noch besser :DD
Hallo und guten Tag,
zu dem Video habe ich eine Anmerkung, die die Implikation betrifft: Jeder logische Schluss kann als Implikation geschrieben werden, aber nicht jede Implikation ist ein logischer Schluss. Der Fachausdruck für »logischer Schluss« ist »Syllogismus«. Ein Syllogismus liegt vor, wenn aus zwei oder mehr Voraussetzungen (Prämissen) eine Schlussfolgerung (Konklusion) gezogen wird. Beispielsweise ist das Folgende ein gültiger logischer Schluss (ein gültiger Syllogismus):
Wenn es regnet, dann wird die Straße nass. (Prämisse)
Nun regnet es. (Prämisse)
----------------------------------------------------------------------------------------
Also wird die Straße nass. (Konklusion)
Das kann nun auf verschiedene Weise formalisiert werden. Beispielsweise so:
A: Es regnet
B: Die Straße wird nass.
A→B
A
----------
B
Oder so:
A: Es regnet
B: Die Straße wird nass.
((A→B) ∧ A)→B
In dieser zweiten Formalisierung wird der Syllogismus formal als Implikation mit dem Ausdruck (A→B) ∧ A als Vordersatz und B als Hintersatz geschrieben. Das kann auf diese Weise mit jedem Syllogismus gemacht werden. Dabei bilden immer die (UND-verknüpften) Prämissen (mindestens zwei) den Vordersatz der Implikation und die Konklusion den Hintersatz. Nur ist die Prämisse:
Wenn es regnet, dann wird die Straße nass
selbst kein logischer Schluss. Es wird nicht von »Es regnet« auf »Die Straße wird nass« geschlossen, sondern es wird behauptet, dass diese beiden atomaren Aussagen in einer Beziehung zueinander stehen, die als Implikation (wenn-dann-Satz) ausgedrückt werden kann. Es kann sich gar nicht um einen logischen Schluss (einen Syllogismus) handeln, weil mindestens zwei atomare Aussagen als Prämissen erforderlich sind, um auf eine Konklusion zu schließen. In der Implikation
A: Es regnet
B: DieStraße wird nass.
A→B
gibt es im Vordersatz aber nur eine atomare Aussage. Deshalb handelt es sich dabei nicht um einen logischen Schluss (Syllogismus). Ein Test, der gemacht werden kann, um zu prüfen, ob es sich bei einer Implikation um einen gültigen logischen Schluss handelt oder nicht, ist eine Wahrheitswertanalyse (beispielsweise mittels Wahrheitstafeln). Ein gültiger logischer Schluss ist immer logisch wahr, das heißt es gibt keinen Fall, in dem der Schluss als Ganzes falsch werden würde. Das gilt aber nicht für jede Implikation. Die Implikation »Wenn es regnet, dann wird die Straße nass« beispielsweise ist genau dann falsch, wenn es regnet und die Straße nicht nass wird (und sonst wahr). Soweit an dieser Stelle.
Viele Grüße
Marcus 😎
Danke für die Anmerkung
Wie sieht der wahrheitsgehalt der Ausage "Diese Aussage ist falsch." aus? :)
Das ist ein Paradoxon ;)
Unabhängig vom Wahrheitsgehalt ist und bleibt es aber doch eine Aussage (von der Art, die man vermeiden sollte :-) !?
Die Bedeutung natürlicher Spache ist leider oft nicht so eindeutig wie eine mathematische Gleichung und bezieht sich meistens (stillschweigend) auch auf den Kontext, Randbedingungen, etc, und wird (insbesondere bei selbstbezüglichen Aussagen, einschließlich "alle" und "niemand") oft zu einem philosophischen Problem, oder erfordert sonstige zusätzliche Angaben, und der Wahrheitswert bleibt deshalb _"im schlimmsten Fall"_ oft unbestimmt oder unbestimmbar (das ist beides nicht genau das gleiche) oder ein (unlösbares) Paradoxon.
ps: Was ist zB mit "alle lügen" gemeint? "alle lügen immer" (garantiert nicht wahr wegen Widerspruch, aber wegen "alle" und "immer" unbestimmt entweder falsch [wenn mindestens einer mindestens einmal nicht lügt] oder Paradoxon [wenn alles außer dieser Aussage immer Lügen sind]), "alle lügen manchmal" (unbestimmbar wegen "alle" und vagem "manchmal", _wahrscheinlich_ wahr), "alle außer mir lügen", etc
Super Video! Am Anfang bin allerdings über "Mein Name ist Bond" gestolpert. Das ist für mich keine Aussage, da der Wahrheitswert vom Sprecher abhängt. Oder anders gesagt: "Mein Name" ist eine Variable und das Konstrukt ein Prädikat/Aussageform und eben keine Aussage.
Unabhängig davon: Ein grandioses Video, auf das ich nun immer gerne in meinen Anfängervorlesungen verweisen möchte :)
Vielen Dank für das Lob und die Weiterempfehlung :)
Zum Thema "Bond" :) In einigen Lehrbüchern werden Aussagen, die vom Sprecher abhängen, auch als Aussagen aufgefasst (so z. B. "Ich habe Hunger"). Deshalb habe ich das auf dieses Beispiel übertragen. Das wäre eigentlich schon wieder ein eigenes Video wert. In diesem Zusammenhang könnte man dann auch Sätze wie "dieser Satz ist falsch" bzw. die Russellsche Antinomie behandeln. Liebe Grüße und nochmals vielen Dank!
Sehr schönes Beispiel was man alles mit Aussagen machen kann! :D
Ja :)
1×2×3×4×5 = 5!
trotz des "!" am Ende ist dies eine Aussage :-)
wegen des "!" am Ende ist es eine wahre Aussage ("120=5!").
ohne das "!" am Ende wäre es auch eine Aussage, aber eine falsche ("120=5").
_für die, die jetzt verwirrt sind:_
"!" ist ein mathematischer Operator, nämlich alles von 1 bis zu dieser Zahl miteinander zu multiplizieren,
also in *_diesem_* Fall kein Ausrufezeichen, das einen Befehl aus dem Satz macht.
dann mach halt
Kann dazu den Kurs „Grundlagen der Mathematik“ von Florian Woerz (Dozent der Uni Ulm) auf TH-cam empfehlen
Ok
Tolles Video! Du hattest dich an der stelle 13:06 nur versprochen.
Danke für den Hinweis.
Sehr geil alles gute
Danke!
Bei 13:05 sagst du, dass er kein Alibi hat, obwohl er eins hat. Könnte vielleicht verwirrend sein, deswegen dachte ich, dass ich dir das in Form eines Kommentars da lasse.
P.S. Sehr gute und informative Videos
Danke :) Ja, das könnte verwirrend sein. Im Kontext dieses Beispiels ist die Konklusion allerdings richtig.
Auch wenn es glaube ich für totale einsteiger ein wenig zu schnell ist, ist es für leute die ihr wissen noch mall erfrichen wollen super, danke !
Gerne ;) Ich freue mich, dass dich dieses Video erfrischt hat (ist bei den aktuellen Temperaturen auch eine Wohltat).
Aber ist 2. nicht eindeutig kontravalent durch das "entweder"?
Sehe ich genauso
Bei 12:46 ist Dein Satz abgeschnitten aber ist glaube nicht schlimm, da folgten vermutlich keine weiteren Ausführungen.
Genau, alles Wichtige wurde gesagt 😉
Wo kann man sich weiterhin mit der Logik insbesondere der Aussagenlogik beschäftigen? (Wenn möglich für Schüler verständlich)
Im Internet gibt es viele Anlaufstellen.
Hast du zufällig einen guten Tipp?
TH-cam, diverse Mathe-Seiten
Hast du genaueres?
Nein, weil die Fülle so groß ist. Einfach mal schauen ...
Dies hätte ich gerne am Anfang meines Informatikstudiums gesehen....
Wir hatten so Beispiele wie: "Wenn es draußen regnet, und ist der Mond aus Käse" (und nein, dies ist kein Witz...)
Hast du noch was cooles zu Logikrätseln??
:)
Nein, aktuell habe ich keine weiteren Videos zu diesem Thema auf meinem Kanal.
2:15 hatt da wer denn Anhalter gelesen?
Na klar!
Gute anime anspiele😂👍
:)
Ab Minute 14 war ich irgendwie raus, aber das ist sehr interessant.
Vielen Dank :) Wenn du bis Minute 14 gekommen bist, hast du eigentlich das Wichtigste bereits aus dem Video mitgenommen.
Also falls das dir schon geschreiben wurde dann sorry, aber ist bei 9:52 1 nicht 41?
😄
Das Lustige ist, dass Aufforderungen theoretisch gesehen auch nur anders geschriebene Fragen sind, weswegen sie beide keine Aussagen sind.
In der Befehlsform ist es keine Aussage. Ohne jedoch schon.
Cooler Titel :)
Dankeschön!
Hallo aller liebster Lieblingsyoutuber, kannst du mir erklären wie Computer in Taschenrechnern zu periodische Nachkommastellen kommen, oder berechnen sie sie wirklich??
Reelle Zahlen in Computern (so auch Taschenrechnern) zu speichern, ist sehr schwierig. Sie werden in Binärzahlen mit Komma gespeichert. Wie man das berechnet, habe ich hier erklärt: th-cam.com/video/t8BSzFQj1fQ/w-d-xo.html Im Prinzip arbeitet der Taschenrechner nur mit diesen binären Darstellungen. Die Theorie dahinter ist ziemlich umfangreich und durchaus ein eigenes Video wert ;)
Aber kurz gesagt: der Rechner übersetzt alle Zahlen in Maschinenzahlen und rechnet mit diesen dann weiter. Exakte Ergebnisse gibt es dabei nicht immer.
Da hat wer SAO geguckt ^^.
😏
Bin das nur ich oder klingen die Namen in sherloks Schlussfolgerung nicht nach Briten sondern Japanern??
Das sind auch Japaner 😉 Ursprünglich habe ich das Video mal mit Detektiv Conan in der Hauptrolle konzipiert.
@@Florian.Dalwigk A man of culture! :D
Danke für das Video, eventuelle eine Frage bezogen auf Implikation:
Wenn die Aussage A: x ist eine gerade natürliche Zahl ist.
und die Aussage B: y > 4 ist. Wie bildet man A=> B?
Ist diese Antwort richtig:
Aussage A ⇒ B: 5 7 9 11 13 … Ich darf dich um einen Hinweis bitten.
Und noch eine Frage: Ist eine Implikation ein Argument?
Eine Implikation ist eine Aussage. Es würde lauten: Wenn x eine gerade natürliche Zahl ist, dann ist y>4.
Sehr gutes Video :)
Vielen Dank :)
Wie schön das ich also Beispiel herhalten darf 🤣
?
Klasse Video (y)
Das muss ich aber noch paar mal anschauen bis ich durch dieses Gewürm der Aussagenlogik durchraffe xD
Danke 🙂 Ja, wenn du komplett durchgestiegen bist, dann hast du die gesamte Aussagenlogik fürs Informatikstudium verstanden 🤗
@@Florian.Dalwigk Werde wohl nie das Studium machen, aber neues Wissen ist ja bekanntlich nie schädlich. Wünsche noch einen schönen Abend. :)
Achso 😄 Danke, dir auch 🙂
Wie geil ist das denn
Danke 😊
Bezüglich der Implikation habe ich Probleme eine falsche Prämisse und eine falsche Konklusion zu einem "Wahrwert" zu führen.
Das näheste was ich interpretativ schlussfolgern würde wäre eine Form der Trivialität.
Sobald A falsch ist gibt es keinen Anspruch mehr an B. Weshalb Zeile 1 und 2 beide "Wahr" sind.
Gleichermaßen habe ich den Eindruck, dass diese wahr/falsch Interpretation nicht ganz korrekt ist.
Einfach aus dem Grund:
Falsch/Falsch und Falsch/Wahr führen zu Wahr.
Mein Eindruck ist beim Wort Implikation stoßen Sprach- und Mathegebrauch aufeinander und sind nur noch bedingt kompatibel.
Ich verstehe dein Gefühl, dass hier Sprach- und Mathegebrauch aufeinanderstoßen.
Ich hatte am Anfang immer eher ein "unbestimmt" vermutet, denn wenn die Voraussetzungen falsch sind, weiß ich doch nicht, ob das, was ich daraus folgere *wahr* oder *falsch* ist.
Vielleicht hilft dir der Weg über die Äquivalenz A->B NOT(A) OR B.
Wenn Frau Takahashi die Schreie des Opfers gehört hat, kann sie dann selbst das Opfer gewesen sein ?
🤔
@@Florian.Dalwigk Für die Antwort gibt es aber keinen Bachelor ;)
Ne, für diese Antwort gibt es eine fristgerechte Exmatrikulation :D Ja, könnte sie ... nur eine Befragung ist dann schwierig ;)
@@Florian.Dalwigk Wie kann man das nun mit Mitteln der Aussagenlogik darstellen ?
Brauchst du das an dieser Stelle? Du musst dir eine neue Aussage definieren, z. B. "Fr. Takahashi ist das Opfer" und das dann in Beziehung zur bereits vorhandenen Aussage setzen. Versuche es mal ...
Rauch Abi ist nicht erfreut
?
Das ist krank!
Wieso? 😄
Gibt es das "Milch oder Zucker"-Oder tatsächlich? Google schlägt mir da nur Essenspläne und Restaurantes vor :D
Ich habe das an der Hochschule so kennengelernt 😅
13:03 daraus folgt dann, dass er ein Alibi hat und nicht kein :D böser Versprecher ^^
Hihi, was so ein "k" alles ausmachen kann ;) Wenigstens steht es richtig im Video ;)
@@Florian.Dalwigk Ja das stimmt :D
;)
Was wenn A keine Aussage ist?
"Essen(A)und Trinken verboten! "
Die aus dem Logik Kurs machen sich immer über uns lustig wenn wir zum Essen rausgehen
Mein Kopf qualmt schon vom denken könnte an meiner Blindheit liegen oder auch daran das Ich mir das Video 5 Mal angeschaut habe und es nur zu einem Teil verstehe, fühle mich wieder wie in der Schule unbeholfen und dumm 😅 Sherlocks Logik ist mir zu hoch ich bleibe da lieber bei meiner weiblichen Intuition😂😂😂
Damit liegt man auch meistens richtig ;)
Ist pi ist nicht gerade nicht exakt das selbe wie pi ist ungerade den Pi kann ja nur gerade oder ungerade sein und wieso soll bei ungerade beide negationen falsch sein pi kann unmöglich ungerade und gerade zu gleich sein wäre das dann nicht ein so genannter endlicher spezial Fall und wieso muss etwas dass nicht schwarz ist im Spektrum der menschlichen Sichtbarkeit sein kann es nicht auch ultraviolet oder Infrarot sein oder irgendetwas anderes im nicht spektralen Bereich der menschlichen Sichtbarkeit sein
Zahlen sind nicht nur gerade oder ungerade!
@@Florian.Dalwigk was wirklich das hat mir in meinen 13 Jahren Schule kein Lehrer bei gebracht wieder was neues gelernt Danke aber was können zahlen dann noch sein außer gerade und ungerade
Reell, komplex, irrational, ... gerade ist eine Zahl nur dann, wenn die ganzzahlige Division durch 2 den Rest 0 ergibt.
@@Florian.Dalwigk von diesen ganzen Zahlen Arten habe ich in meiner gesamten Schullaufbahn noch nie gehört und ich weiß was eine gerade Zahl ist
Was? Auf welcher Schulform warst du denn?
1:44: Schrödingers Katze: ._.
Hehe, da ginge beides ;)
ernszhaft biste von sao nun zu deathnote gegangen
Ne, ich kenne einfach sehr viel ;)
Sword Art Online ? ;)
Genau :D
@@Florian.Dalwigk Ich feier dich mit jedem Tag mehr ;)
Nohomo
Danke ;) SAO-Referenzen findest du auch in diesen Videos:
- th-cam.com/video/e9vFgd7IpKQ/w-d-xo.html
- th-cam.com/video/FrjSt2NZSr0/w-d-xo.html
Und, never forget, th-cam.com/video/R3LKp8IQmJ8/w-d-xo.html
1
Informatiker fangen doch bei 0 zu zählen an ;)
@@Florian.Dalwigk ich habe die 1 als 0 defeniert, mir ist die Rechenleistung egal, kannst du mal bitte bitte bitte bitte einen Discord Server machen.....
@@bluekernel2448 :D Was ist denn der Vorteil von einem Discord-Server? Mir haben das schon mehrere Leute vorgeschlagen und ich weiß gar nicht, was das ist :)
S
?