Aussagenlogik #12 - Metasprache und das Craigsche Interpolationslemma

Subscribers:
267,000
Published on ● Video Link: https://www.youtube.com/watch?v=gNGaJzUS0KY



Category:
Vlog
Duration: 12:39
3,380 views
48


In diesem Tutorial möchte ich euch die erste Einführung in die Metasprache geben und euch das Craigsche Interpolationslemma zeigen.
❤❤❤ Früherer Zugang zu Tutorials, Abstimmungen, Live-Events und Downloads ❤❤❤
❤❤❤ https://www.patreon.com/user?u=5322110 ❤❤❤

❤❤❤ Keinen Bock auf Patreon? ❤❤❤
❤❤❤ https://www.paypal.me/TheMorpheus ❤❤❤

🌍 Website
🌍 https://the-morpheus.de

¯\_(ツ)_/¯ Tritt der Community bei ¯\_(ツ)_/¯
** https://the-morpheus.de/discord.html **
** https://www.reddit.com/r/TheMorpheusTuts/ **

( ͡° ͜ʖ ͡°) Mehr News? Mehr Code?
https://www.facebook.com/themorpheustutorials
🐦 https://twitter.com/TheMorpheusTuts
🐙 https://github.com/TheMorpheus407/Tutorials

Du bestellst bei Amazon? Bestell über mich, kostet dich null und du hilfst mir
»-(¯`·.·´¯)-» http://amzn.to/2slBSgH

Videowünsche?
🎁 https://docs.google.com/spreadsheets/d/1YPv8fFJOMRyyhUggK8phrx01OoYXZEovwDLdU4D4nkk/edit#gid=0

Fragen? Feedback? Schreib mir!
https://www.patreon.com/user?u=5322110
https://www.facebook.com/themorpheustutorials
https://the-morpheus.de/discord.html
oder schreib einfach ein Kommentar :)

Playlist: https://www.youtube.com/playlist?list=PLNmsVeXQZj7r7ztDWJ66pMNRYaa_TUjKP







Tags:
Programming Language (Software Genre)
German
Deutsch
Tutor (Profession)
Tutorial (Media Genre)
Aussagenlogik
Negation
Konjunktion
Disjunktion
klassische Aussagenlogik
Logik
logische Verknüpfungen
und
oder
Matheaussagen
Verneinung
falsche Aussage
wahre Aussage
Wahrheitswert
wahr
Wahrheitstabelle
Aussage
Not
Logical
Sudoku
Gesetz
Law
KNF
DNF
konjunktiv
disjunktiv
Normalform
normal
Craig
Meta
Interpolante
Interpolationslemma
Lemma