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 bedeutet einen Term aus einer Menge von Termen herzuleiten und wie dies funktioniert.

Vielen Dank für eure Hilfe!