Moin,

ich studiere im ersten Semester Informatik. Derzeit behandeln wir unter anderem Schlussregeln innerhalb der Aussagenlogik. Bspw. die Fallunterscheidungsregel oder den Modus ponens. Ich verstehe jedoch bisland nicht, was es damit genau auf sich hat. Deshalb möchte ich fragen, ob jemand gute Ressourcen kennt, von welchen ich mir das Thema möglichst verständlich beibringen kann. Ich bevorzuge Videos, wäre aber auch über andere Quellen dankbar, da ich bisland keine finden konnte. Ich verstehe z.B. nicht was es bedeuten soll einen Term aus einer Menge von Termen abzuleiten, oder wie dies funktionieren soll. Vielen Dank für eure Hilfe!