Gentzen-Kalkül des natürlichen Schließens // Beispielaufgabe скачать в хорошем качестве

Gentzen-Kalkül des natürlichen Schließens // Beispielaufgabe

In diesem Video zeige ich euch vereinfacht, wie ihr eine Formel aus einer anderen Formel mithilfe des Gentzen-Kalküls schließen könnt. Dazu habe ich die Schlussregeln auf eine Anzahl von vier Regeln reduziert und diese zunächst erklärt. Anhand eines konkreten Beispiels werden diese auch einmal verwendet. So könnt ihr sehen, wie man vorgehen kann, um zu zeigen, dass eine Formel aus einer anderen zu schließen ist. Weitere Beispielaufgaben zum Gentzenkalkül findet ihr hinter den folgenden Links:    • Weitere Regeln des natürlichen Schließens ...      • weitere Beispiele zum Gentzenkalkül des na...   Wollt ihr mehr zum Thema Logik sehen, dann empfehle ich euch meine entsprechende Playlist:    • Logik   Habt ihr Fragen oder Anmerkungen oder wollt ihr noch mehr Beispiele sehen, dann schreibt es am besten in die Kommentare. Bitte klickt auch auf Gefällt mir, wenn euch das Video gefallen hat und vergesst nicht, diesen Kanal zu abonnieren! Viel Erfolg! #informatik #schließen #mathekrieger #logik