Einführung in die Aussagenlogik mit Sherlock Holmes

Inhalt 📚
Der selbsternannte Consulting Detective Sherlock Holmes hilft der Polizei (und insbesondere dem oft etwas unbeholfen wirkenden Inspector Lestrade) wieder einmal bei der Aufklärung eines schwierigen Mordfalls. Nachdem Sherlock den Tatort untersucht und die Zeugen befragt hat, wird ihm schnell klar, wer der Mörder ist. Er führt nun in gewohnter Form aus: „ Wenn Herr Kirigaya nicht der Täter ist, dann ereignete sich der Mordfall 5km von Herrn Kirigayas Wohnung entfernt. Entweder hat der Mordfall nicht 5km von Herrn Kirigayas Wohnung stattgefunden oder Frau Takahashi hat die Schreie des Opfers gehört. Wenn Herr Kirigaya sich vor der Tatzeit nicht in einem Hotel aufgehalten hat, dann hat Frau Takahashi die Schreie des Opfers nicht gehört. Wenn Herr Kirigaya sich vor der Tatzeit in dem Hotel befunden hat, dann ereignete sich der Mord auch 5km von seiner Wohnung entfernt und der Täter hätte die Halskette des Opfers gestohlen. Aber, wie Sie sehen, wurde die Halskette nicht gestohlen! Das Opfer trägt Sie immer noch. Damit sind Sie der Täter, Herr Kirigaya!“ Sind seine Schlussfolgerungen korrekt? Dieses Video ist ein Versuch, die von einigen #Studenten als „trocken“ empfundene Theorie der #Aussagenlogik „mal anders“ zu erklären. Wir begleiten dabei den Meisterdetektiv Sherlock Holmes bei der Lösung eines Falls. Die Schlussfolgerungen basieren dabei auf den Prinzipien der Aussagenlogik.
- Vorwort: 0:00
- INTRO: 0:18
- Einführung: 0:25
- Der Fall: 0:41
- Was ist eine Aussage: 1:34
- Prämisse und Schlussfolgerung: 3:02
- Negation: 3:27
- Konjunktion: 4:46
- Disjunktion: 5:49
- Exklusiv-Oder (XOR): 6:42
- Implikation: 7:13
- Äquivalenz: 8:42
- Operatorrangfolge: 9:49
- Logische Äquivalenzregeln: 10:52
- Ausdehnung: 11:59
- Konjunktion (Schlussregel): 12:12
- Modus Ponens: 12:25
- Modus Tollens: 12:46
- Lösung des Falls: 13:07
- ENDE: 16:18
EQUIPMENT(*)
🎤 Mikrofon amzn.to/3N0CHCL
✂️ Schnittprogramm amzn.to/3CZ217J
💻 Mein Laptop amzn.to/3ikMd5V
🖥️ Bildschirm amzn.to/3ig3yN5
SUPPORT
► Patreon / florian_dalwigk
► PayPal
► Unterstütze mich durch einen Kauf auf Amazon. Für dich entstehen keine Mehrkosten! (*) amzn.to/3LgyglY
SOCIAL MEDIA
💬 Discord: / discord
💡 Website: www.florian-dalwigk.de
📱 TikTok: / florian.dalwigk
🤳 Instagram: / florian.dalwigk
🐦 Twitter: / florian_dalwigk
📧 E-Mail: mailto:info@florian-dalwigk.de
(*) Bei den Amazon-Links (https.//amzn.to/???????) handelt es sich um Affiliate-Links. Wenn du etwas über diesen Link kaufst, bekomme ich eine kleine Provision. Der Preis ändert sich nicht, wenn du über diesen Link einkaufst. Vielen Dank für deine Unterstützung.

Пікірлер: 182

  • @Florian.Dalwigk
    @Florian.Dalwigk2 жыл бұрын

    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

  • @1internationalist
    @1internationalist4 жыл бұрын

    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 😥

  • @Florian.Dalwigk

    @Florian.Dalwigk

    4 жыл бұрын

    😄 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 😉

  • @Dark88Dragon

    @Dark88Dragon

    4 жыл бұрын

    Das klingt mir ein wenig nach transitiver Logik, möglicherweise biste gar nich so dumm haha

  • @1internationalist

    @1internationalist

    4 жыл бұрын

    Mag sein, hab in Mathe dennoch nur 5en kassiert

  • @derboss9998

    @derboss9998

    4 жыл бұрын

    @@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.

  • @yksnidog

    @yksnidog

    4 жыл бұрын

    Prämisse 3: Wer (möglicherweise) dumm ist, hatte (wahrscheinlich) keine guten Lehrer. ;-)

  • @PhageFX
    @PhageFX4 жыл бұрын

    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 :)

  • @Florian.Dalwigk

    @Florian.Dalwigk

    4 жыл бұрын

    Oh, vielen lieben Dank für dein Lob und natürlich viel Erfolg für deine Mathe 1 Klausur, wenn du sie schreibst :)

  • @Blind_Hawk
    @Blind_Hawk2 жыл бұрын

    Ich war zwar ab der Hälfte raus, aber das ist super interessant. Genau deswegen habe ich Informatik als Studium gewählt.

  • @Florian.Dalwigk

    @Florian.Dalwigk

    2 жыл бұрын

    Super :) Viel Erfolg im Studium!

  • @davidd.3868
    @davidd.38682 жыл бұрын

    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. :)

  • @markushuber512
    @markushuber5124 жыл бұрын

    Hammer Video!!!! Tolle Zusammenfassung der aussagenlogik. Werd ich weiterempfehlen

  • @Florian.Dalwigk

    @Florian.Dalwigk

    4 жыл бұрын

    Danke:)

  • @janik8812

    @janik8812

    2 жыл бұрын

    du lernst nur coden durch coden

  • @-----------------------------b
    @-----------------------------b4 жыл бұрын

    danke für die auffrischung, lange nicht mehr Logik gehabt und das video ist da genau das richtige vor hochschul start

  • @Florian.Dalwigk

    @Florian.Dalwigk

    4 жыл бұрын

    Gerne doch ;) Viel Erfolg im Studium!

  • @felixfrenchfry

    @felixfrenchfry

    3 жыл бұрын

    dank deines namens kann ich nach rechts scrollen

  • @Florian.Dalwigk

    @Florian.Dalwigk

    3 жыл бұрын

    Wohl eher Dank KZread, die diesen Bug nicht beheben.

  • @zakuro8532

    @zakuro8532

    3 жыл бұрын

    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)

  • @jonasstrabel
    @jonasstrabel3 жыл бұрын

    Sehr interessant!

  • @Florian.Dalwigk

    @Florian.Dalwigk

    3 жыл бұрын

    Danke :)

  • @johnnybegood8531
    @johnnybegood85314 жыл бұрын

    Super erklärt. Konnte mein verstaubtes Wissen damit optimal auffrischen.

  • @Florian.Dalwigk

    @Florian.Dalwigk

    4 жыл бұрын

    Danke für dein Lob :) Es freut mich sehr, dass dir das Video weitergeholfen hat!

  • @PryZ_z
    @PryZ_z2 жыл бұрын

    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.

  • @Florian.Dalwigk

    @Florian.Dalwigk

    2 жыл бұрын

    Zufall? Ich denke nicht ;)

  • @Paul-kh3gy
    @Paul-kh3gy4 жыл бұрын

    Sehr schönes Beispiel was man alles mit Aussagen machen kann! :D

  • @Florian.Dalwigk

    @Florian.Dalwigk

    4 жыл бұрын

    Ja :)

  • @Anson_AKB

    @Anson_AKB

    2 жыл бұрын

    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.

  • @janik8812

    @janik8812

    2 жыл бұрын

    dann mach halt

  • @simanakajulian2042
    @simanakajulian20424 жыл бұрын

    Sehr geil alles gute

  • @Florian.Dalwigk

    @Florian.Dalwigk

    4 жыл бұрын

    Danke!

  • @EpicBlacko
    @EpicBlacko4 жыл бұрын

    Sehr gutes Video :)

  • @Florian.Dalwigk

    @Florian.Dalwigk

    4 жыл бұрын

    Vielen Dank :)

  • @brightsideofmaths
    @brightsideofmaths4 жыл бұрын

    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 :)

  • @Florian.Dalwigk

    @Florian.Dalwigk

    4 жыл бұрын

    Vielen Dank für das Lob und die Weiterempfehlung :)

  • @Florian.Dalwigk

    @Florian.Dalwigk

    4 жыл бұрын

    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!

  • @AwsmBuff
    @AwsmBuff4 жыл бұрын

    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!

  • @Florian.Dalwigk

    @Florian.Dalwigk

    4 жыл бұрын

    Vielen lieben Dank! Es freut mich, dass das Puzzle nun komplett ist.

  • @xamidi

    @xamidi

    2 жыл бұрын

    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

    @matteomoser6535

    5 ай бұрын

    @@xamidi kenne das XOR Symbol als Kreis mit einem Kreuz drin: ⊕

  • @xamidi

    @xamidi

    5 ай бұрын

    @@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..

  • @mariusillmann6601
    @mariusillmann66014 жыл бұрын

    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 !

  • @Florian.Dalwigk

    @Florian.Dalwigk

    4 жыл бұрын

    Gerne ;) Ich freue mich, dass dich dieses Video erfrischt hat (ist bei den aktuellen Temperaturen auch eine Wohltat).

  • @samssams1619
    @samssams16194 жыл бұрын

    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

  • @Florian.Dalwigk

    @Florian.Dalwigk

    4 жыл бұрын

    Danke :) Ja, das könnte verwirrend sein. Im Kontext dieses Beispiels ist die Konklusion allerdings richtig.

  • @eisvogel.1481
    @eisvogel.14814 жыл бұрын

    Cooler Titel :)

  • @Florian.Dalwigk

    @Florian.Dalwigk

    4 жыл бұрын

    Dankeschön!

  • @AAEROXX
    @AAEROXX Жыл бұрын

    Ich liebe dich danke

  • @Florian.Dalwigk

    @Florian.Dalwigk

    Жыл бұрын

    Sehr gerne 😊

  • @TotallyRat_
    @TotallyRat_3 жыл бұрын

    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

  • @Florian.Dalwigk

    @Florian.Dalwigk

    3 жыл бұрын

    😄😊 Subjektivität spielt da keine Rolle 😉

  • @TotallyRat_

    @TotallyRat_

    3 жыл бұрын

    @@Florian.Dalwigk Noch besser :DD

  • @yksnidog
    @yksnidog4 жыл бұрын

    Bei 12:46 ist leider etwas dem Schnitt zum Opfer gefallen. Oder fehlt nur mir das Ende des Satzes? ^^ Dennoch tolles Video.

  • @Florian.Dalwigk

    @Florian.Dalwigk

    4 жыл бұрын

    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.

  • @TBonerT
    @TBonerT4 жыл бұрын

    Klasse Video (y) Das muss ich aber noch paar mal anschauen bis ich durch dieses Gewürm der Aussagenlogik durchraffe xD

  • @Florian.Dalwigk

    @Florian.Dalwigk

    4 жыл бұрын

    Danke 🙂 Ja, wenn du komplett durchgestiegen bist, dann hast du die gesamte Aussagenlogik fürs Informatikstudium verstanden 🤗

  • @TBonerT

    @TBonerT

    4 жыл бұрын

    @@Florian.Dalwigk Werde wohl nie das Studium machen, aber neues Wissen ist ja bekanntlich nie schädlich. Wünsche noch einen schönen Abend. :)

  • @Florian.Dalwigk

    @Florian.Dalwigk

    4 жыл бұрын

    Achso 😄 Danke, dir auch 🙂

  • @jdwjkdjnadsnjk9844
    @jdwjkdjnadsnjk98443 жыл бұрын

    Wie geil ist das denn

  • @Florian.Dalwigk

    @Florian.Dalwigk

    3 жыл бұрын

    Danke 😊

  • @ricardoborutta
    @ricardoborutta3 жыл бұрын

    Tolles Video! Du hattest dich an der stelle 13:06 nur versprochen.

  • @Florian.Dalwigk

    @Florian.Dalwigk

    3 жыл бұрын

    Danke für den Hinweis.

  • @dasfragezeichen1985
    @dasfragezeichen19854 жыл бұрын

    Gute anime anspiele😂👍

  • @Florian.Dalwigk

    @Florian.Dalwigk

    4 жыл бұрын

    :)

  • @elefant213
    @elefant2134 жыл бұрын

    Ab Minute 14 war ich irgendwie raus, aber das ist sehr interessant.

  • @Florian.Dalwigk

    @Florian.Dalwigk

    4 жыл бұрын

    Vielen Dank :) Wenn du bis Minute 14 gekommen bist, hast du eigentlich das Wichtigste bereits aus dem Video mitgenommen.

  • @Raiyo_Kirigaya
    @Raiyo_Kirigaya4 ай бұрын

    Wie schön das ich also Beispiel herhalten darf 🤣

  • @Florian.Dalwigk

    @Florian.Dalwigk

    4 ай бұрын

    ?

  • @tobiasdudziak9469
    @tobiasdudziak94694 жыл бұрын

    Da hat wer SAO geguckt ^^.

  • @Florian.Dalwigk

    @Florian.Dalwigk

    4 жыл бұрын

    😏

  • @lnlnxlnx3685
    @lnlnxlnx36852 жыл бұрын

    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.

  • @BloxxingDinosaurus
    @BloxxingDinosaurus10 ай бұрын

    Das Lustige ist, dass Aufforderungen theoretisch gesehen auch nur anders geschriebene Fragen sind, weswegen sie beide keine Aussagen sind.

  • @Florian.Dalwigk

    @Florian.Dalwigk

    10 ай бұрын

    In der Befehlsform ist es keine Aussage. Ohne jedoch schon.

  • @hansgluck6630
    @hansgluck66303 жыл бұрын

    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?

  • @Florian.Dalwigk

    @Florian.Dalwigk

    3 жыл бұрын

    Eine Implikation ist eine Aussage. Es würde lauten: Wenn x eine gerade natürliche Zahl ist, dann ist y>4.

  • @marcusgloder8755
    @marcusgloder87552 жыл бұрын

    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 😎

  • @Florian.Dalwigk

    @Florian.Dalwigk

    2 жыл бұрын

    Danke für die Anmerkung

  • @TobiasMond3
    @TobiasMond33 жыл бұрын

    Das ist krank!

  • @Florian.Dalwigk

    @Florian.Dalwigk

    3 жыл бұрын

    Wieso? 😄

  • @xamidi
    @xamidi2 жыл бұрын

    13:50 Zu 2.) Nein, das ist die falsche Aussage, ein "entweder, oder" ist ein XOR (exklusives Oder), kein OR (inklusives Oder).

  • @SlashZooka
    @SlashZooka4 жыл бұрын

    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)..

  • @Florian.Dalwigk

    @Florian.Dalwigk

    4 жыл бұрын

    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.

  • @SlashZooka

    @SlashZooka

    4 жыл бұрын

    @@Florian.Dalwigk Dankeschön =). Die anderen scheint es wohl nicht im Unicode zu geben.. warum eigentlich nicht?

  • @olafgunther9401
    @olafgunther94013 жыл бұрын

    Aber ist 2. nicht eindeutig kontravalent durch das "entweder"?

  • @Nicolas-wq9eh

    @Nicolas-wq9eh

    Жыл бұрын

    Sehe ich genauso

  • @walig.8977
    @walig.89774 жыл бұрын

    Wie sieht der wahrheitsgehalt der Ausage "Diese Aussage ist falsch." aus? :)

  • @Florian.Dalwigk

    @Florian.Dalwigk

    4 жыл бұрын

    Das ist ein Paradoxon ;)

  • @Anson_AKB

    @Anson_AKB

    2 жыл бұрын

    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

  • @keanu5085
    @keanu50852 жыл бұрын

    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??

  • @Florian.Dalwigk

    @Florian.Dalwigk

    2 жыл бұрын

    :) Nein, aktuell habe ich keine weiteren Videos zu diesem Thema auf meinem Kanal.

  • @ThomasSchubertHuluvu424242
    @ThomasSchubertHuluvu4242422 жыл бұрын

    Bei 12:46 ist Dein Satz abgeschnitten aber ist glaube nicht schlimm, da folgten vermutlich keine weiteren Ausführungen.

  • @Florian.Dalwigk

    @Florian.Dalwigk

    2 жыл бұрын

    Genau, alles Wichtige wurde gesagt 😉

  • @SlashZooka
    @SlashZooka3 жыл бұрын

    13:03 daraus folgt dann, dass er ein Alibi hat und nicht kein :D böser Versprecher ^^

  • @Florian.Dalwigk

    @Florian.Dalwigk

    3 жыл бұрын

    Hihi, was so ein "k" alles ausmachen kann ;) Wenigstens steht es richtig im Video ;)

  • @SlashZooka

    @SlashZooka

    3 жыл бұрын

    @@Florian.Dalwigk Ja das stimmt :D

  • @Florian.Dalwigk

    @Florian.Dalwigk

    3 жыл бұрын

    ;)

  • @nicoo6469
    @nicoo64693 жыл бұрын

    Kann dazu den Kurs „Grundlagen der Mathematik“ von Florian Woerz (Dozent der Uni Ulm) auf KZread empfehlen

  • @Florian.Dalwigk

    @Florian.Dalwigk

    3 жыл бұрын

    Ok

  • @skyracer-mk8hg
    @skyracer-mk8hg4 жыл бұрын

    Also falls das dir schon geschreiben wurde dann sorry, aber ist bei 9:52 1 nicht 41?

  • @Florian.Dalwigk

    @Florian.Dalwigk

    4 жыл бұрын

    😄

  • @anthonysmith6413
    @anthonysmith64132 жыл бұрын

    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.

  • @Florian.Dalwigk

    @Florian.Dalwigk

    2 жыл бұрын

    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.

  • @a.rebeih56
    @a.rebeih563 жыл бұрын

    13:54 Müsste hier nicht ein Punkt über OR stehen, da es sich um einen Entweder oder Fall handelt?

  • @Florian.Dalwigk

    @Florian.Dalwigk

    3 жыл бұрын

    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.

  • @a.rebeih56

    @a.rebeih56

    3 жыл бұрын

    @@Florian.Dalwigk okay gut, danke

  • @Florian.Dalwigk

    @Florian.Dalwigk

    3 жыл бұрын

    Gerne 🙂

  • @a.rebeih56

    @a.rebeih56

    3 жыл бұрын

    @@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.

  • @Florian.Dalwigk

    @Florian.Dalwigk

    3 жыл бұрын

    Es kommt darauf an. Zum Mathestudium mache ich noch ein separates Video! Im Mathestudium geht man aber noch mehr auf Beweise ein.

  • @guitar-matze
    @guitar-matze2 жыл бұрын

    Wo kann man sich weiterhin mit der Logik insbesondere der Aussagenlogik beschäftigen? (Wenn möglich für Schüler verständlich)

  • @Florian.Dalwigk

    @Florian.Dalwigk

    2 жыл бұрын

    Im Internet gibt es viele Anlaufstellen.

  • @guitar-matze

    @guitar-matze

    2 жыл бұрын

    Hast du zufällig einen guten Tipp?

  • @Florian.Dalwigk

    @Florian.Dalwigk

    2 жыл бұрын

    KZread, diverse Mathe-Seiten

  • @guitar-matze

    @guitar-matze

    2 жыл бұрын

    Hast du genaueres?

  • @Florian.Dalwigk

    @Florian.Dalwigk

    2 жыл бұрын

    Nein, weil die Fülle so groß ist. Einfach mal schauen ...

  • @bluekernel2448
    @bluekernel24484 жыл бұрын

    Hallo aller liebster Lieblingsyoutuber, kannst du mir erklären wie Computer in Taschenrechnern zu periodische Nachkommastellen kommen, oder berechnen sie sie wirklich??

  • @Florian.Dalwigk

    @Florian.Dalwigk

    4 жыл бұрын

    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: kzread.info/dash/bejne/pmx2tdx_gc2XlrQ.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.

  • @meinname9747
    @meinname97473 жыл бұрын

    1:44: Schrödingers Katze: ._.

  • @Florian.Dalwigk

    @Florian.Dalwigk

    3 жыл бұрын

    Hehe, da ginge beides ;)

  • @Aschmedaij
    @Aschmedaij3 жыл бұрын

    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

  • @cherrytreesecret4920
    @cherrytreesecret49203 жыл бұрын

    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😂😂😂

  • @Florian.Dalwigk

    @Florian.Dalwigk

    3 жыл бұрын

    Damit liegt man auch meistens richtig ;)

  • @BooBar2521
    @BooBar25214 жыл бұрын

    Bin das nur ich oder klingen die Namen in sherloks Schlussfolgerung nicht nach Briten sondern Japanern??

  • @Florian.Dalwigk

    @Florian.Dalwigk

    4 жыл бұрын

    Das sind auch Japaner 😉 Ursprünglich habe ich das Video mal mit Detektiv Conan in der Hauptrolle konzipiert.

  • @SlashZooka

    @SlashZooka

    4 жыл бұрын

    @@Florian.Dalwigk A man of culture! :D

  • @TlessD2
    @TlessD2 Жыл бұрын

    Rauch Abi ist nicht erfreut

  • @Florian.Dalwigk

    @Florian.Dalwigk

    Жыл бұрын

    ?

  • @alles_muss_anders_werden
    @alles_muss_anders_werden3 жыл бұрын

    Wenn Frau Takahashi die Schreie des Opfers gehört hat, kann sie dann selbst das Opfer gewesen sein ?

  • @Florian.Dalwigk

    @Florian.Dalwigk

    3 жыл бұрын

    🤔

  • @alles_muss_anders_werden

    @alles_muss_anders_werden

    3 жыл бұрын

    @@Florian.Dalwigk Für die Antwort gibt es aber keinen Bachelor ;)

  • @Florian.Dalwigk

    @Florian.Dalwigk

    3 жыл бұрын

    Ne, für diese Antwort gibt es eine fristgerechte Exmatrikulation :D Ja, könnte sie ... nur eine Befragung ist dann schwierig ;)

  • @alles_muss_anders_werden

    @alles_muss_anders_werden

    3 жыл бұрын

    @@Florian.Dalwigk Wie kann man das nun mit Mitteln der Aussagenlogik darstellen ?

  • @Florian.Dalwigk

    @Florian.Dalwigk

    3 жыл бұрын

    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 ...

  • @dekatalan8638
    @dekatalan86382 жыл бұрын

    2:15 hatt da wer denn Anhalter gelesen?

  • @Florian.Dalwigk

    @Florian.Dalwigk

    2 жыл бұрын

    Na klar!

  • @NovaTech2010
    @NovaTech20102 жыл бұрын

    Gibt es das "Milch oder Zucker"-Oder tatsächlich? Google schlägt mir da nur Essenspläne und Restaurantes vor :D

  • @Florian.Dalwigk

    @Florian.Dalwigk

    2 жыл бұрын

    Ich habe das an der Hochschule so kennengelernt 😅

  • @felixkeila
    @felixkeila4 жыл бұрын

    Sword Art Online ? ;)

  • @Florian.Dalwigk

    @Florian.Dalwigk

    4 жыл бұрын

    Genau :D

  • @felixkeila

    @felixkeila

    4 жыл бұрын

    @@Florian.Dalwigk Ich feier dich mit jedem Tag mehr ;) Nohomo

  • @Florian.Dalwigk

    @Florian.Dalwigk

    4 жыл бұрын

    Danke ;) SAO-Referenzen findest du auch in diesen Videos: - kzread.info/dash/bejne/l22qqMmdZ6zWe7Q.html - kzread.info/dash/bejne/eKaetdZrfr25opM.html

  • @Florian.Dalwigk

    @Florian.Dalwigk

    4 жыл бұрын

    Und, never forget, kzread.info/dash/bejne/hGeArdJxebTTeps.html

  • @bluekernel2448
    @bluekernel24484 жыл бұрын

    1

  • @Florian.Dalwigk

    @Florian.Dalwigk

    4 жыл бұрын

    Informatiker fangen doch bei 0 zu zählen an ;)

  • @bluekernel2448

    @bluekernel2448

    4 жыл бұрын

    @@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.....

  • @Florian.Dalwigk

    @Florian.Dalwigk

    4 жыл бұрын

    @@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 :)

  • @jjhh1023
    @jjhh10233 жыл бұрын

    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

    @Florian.Dalwigk

    3 жыл бұрын

    Zahlen sind nicht nur gerade oder ungerade!

  • @jjhh1023

    @jjhh1023

    3 жыл бұрын

    @@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

    @Florian.Dalwigk

    3 жыл бұрын

    Reell, komplex, irrational, ... gerade ist eine Zahl nur dann, wenn die ganzzahlige Division durch 2 den Rest 0 ergibt.

  • @jjhh1023

    @jjhh1023

    3 жыл бұрын

    @@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

  • @Florian.Dalwigk

    @Florian.Dalwigk

    3 жыл бұрын

    Was? Auf welcher Schulform warst du denn?

  • @carinaschoppe
    @carinaschoppe2 жыл бұрын

    ernszhaft biste von sao nun zu deathnote gegangen

  • @Florian.Dalwigk

    @Florian.Dalwigk

    2 жыл бұрын

    Ne, ich kenne einfach sehr viel ;)

  • @Aschmedaij
    @Aschmedaij3 жыл бұрын

    S

  • @Florian.Dalwigk

    @Florian.Dalwigk

    3 жыл бұрын

    ?