Logic Bonus - The Sequence Calculus of Propositional Logic

In this video we look at the sequence calculus of propositional logic.
❤❤❤ Early access to tutorials, polls, live events, and downloads ❤❤❤
❤❤❤ www.patreon.co... ❤❤❤
❤❤❤ Not up for Patreon? ❤❤❤
❤❤❤ www.paypal.me/... ❤❤❤
🌍 Website
🌍 the-morpheus.de
¯\_(ツ)_/¯ Join the Community ¯\_(ツ)_/¯
** the-morpheus.d... **
** / themorpheustuts **
( ͡° ͜ʖ ͡°) More news? More code?
ℱ / themorpheustutorials
🐦 / themorpheustuts
🐙 github.com/The...
You order from Amazon? Order through me, costs you zero and you help me out
"-(¯`-.-'¯)-" amzn.to/2slBSgH
Video requests?
🎁 docs.google.co...
Questions? Feedback? Write me!
✉ www.patreon.co...
✉ / themorpheustutorials
✉ the-morpheus.d...
or just write a comment :)
Playlist: • Logik Tutorial

[@davidkoretzkij230]

Einfach unfassbar, dass ich nach der Vorlesung und der Nacharbeitung der Vorlesung immer noch kp hatte, wie das funktioniert, aber ich es nach deinem 18-minütigen Video perfekt verstanden habe. VIELEN DANK DAFÜR!

[@dk9469]

Super zusammenfassung. Grüße von der TU Darmstadt!

[@RasputinHunter]

Gutes Video :) Grüße aus Aachen

[@SmilingMana]

Dieses Video rettet mir die Hausübung. Vielen Dank, ich hab jetzt ENDLICH begriffen, was Dozent, Folien und Skript von mir wollen. Ich wünschte, die hätten das so verständlich erklärt.

[@TheMorpheusTutorials]

Freut mich, danke dir =)

[@juliankopetzky4764]

Das Video ist zwar etwas durcheinander und unübersichtlich, aber es hat mir doch beim Verständnis sehr geholfen, danke ;)

[@joshimayer5375]

Sehr gut erklärt, danke dir :)

[@timo_b3]

Hey, danke für das Video, hat mir geholfen!

[@modplayerMC]

Danke für das Video, Bereite mit gerade auf Formale Systeme vor. Grüße aus Karlsruhe

[@xohoo4814]

Gerade hat es nach 5 Monaten klick gemacht :D Danke!!!

[@TheMorpheusTutorials]

:D Danke fürs Zusehen

[@mahaalshamahi7073]

Hallo, mir ist noch nicht klar,was der Unterschied zw.(⊢ ; |= ; → ) ist? könntest du bitte mir erklären

[@TheMorpheusTutorials]

die ersten beiden sind auf der Meta Ebene

[@tonikaiser2823]

Sag jmal Junge, hattest du bei all diesem "Spaß" mal probleme? Also ich habe Theo. Inf. jetzt so halbwegs durch halt, Kellerautomat sowieso komplett einfach und NEA auch nicht schwerer. Aber all dies Logik und Berechenbarkeit und Datenstrukturen und Algorithmen, ich trete demnächst an, deine Videos dazu erscheinen mir ziemlich - ich will jetzt nicht sagen trivial - aber sagen wir einfach zu verstehen. Gibt es da irgendwelche Fallen? Oder kann ich wenn ich deine Videos verstehen mit gutem Gewissen einen Versuch riskieren? Ich meine das hier zB habe ich sehr gut verstanden in deinem Video nices video btw Und nein ich gehe nicht zu den Vorlesungen, die sind totlangweilig.

[@TheMorpheusTutorials]

Also sagen wir mal so, meine Videos sind keine Garantie, da ich eventuell nicht deinen Lehrplan abdecke. Aber wenn du wirklich verstanden hast, was ich gemacht habe und es auch selbst machen kannst, definitiv 👍

[@GoldFighters15]

17:09 Muss man das rechte überhaupt noch zeigen um zu beweisen, dass das allgemeingültig ist? Reicht es nicht eine Seite zu zeigen?

[@GoldFighters15]

Auf jeden Fall Danke für die Videoreihe. Sehr gut erklärt! :)

[@ShahrukhKhanForever]

Die Frage habe ich mir auch gestellt, da man rechts ja bereits das 1 Axiom hat und die weitere Regelanwendung "unnötige" Arbeit ist.

[@nellli2]

13:48 das ist kein rho... Das ist ein Psi :)

[@TheMorpheusTutorials]

woops :D Danke