Logik Bonus - Der Sequenzenkalkül der Aussagenlogik

In diesem Video betrachten wir den Sequenzenkalkül der Aussagenlogik.

* *Meine Website mit allen anderen Kanälen und Newsletter* *:

_Discord:_

_Unterstützt mich - Danke!:_

[davidkoretzkij]

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!

[juliankopetzky]

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

[dk]

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

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

[mahaalshamahi]

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

[GoldFighters]

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

[timo_b]

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

[xohoo]

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

[tonikaiser]

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.

[modplayerMC]

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

[nellli]

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