Kennt jemand gute Ressourcen zum verstehen von Schlussregeln in der Aussagenlogik?
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!
1 Antwort
![](https://images.gutefrage.net/media/user/Halbrecht/1525443667546_nmmslarge__243_35_423_423_0f63963408c8ccb1dad80c34585c3099.jpg?v=1525443670000)
Grundsätzlich sollte man im Netz mit " suchbegriff pdf " suchen
So findet man mit "modus ponens pdf" dieses und kann man auf S.66 schauen, ob der Text zusagt.
.
Ich finde dieses Thema ziemlich gemein . Interessant aber die formalen Fehlschlüsse . Alles klingt logisch , ist aber nicht so .
![- (Mathematik, Informatik, Logik)](https://images.gutefrage.net/media/fragen-antworten/bilder/521012098/0_big.png?v=1698865862000)
![](https://images.gutefrage.net/media/default/user/10_nmmslarge.png?v=1551279448000)
Vielen Dank, mir fällt es jetzt auf jeden Fall leichter die Logik der einzelnen Schlussregeln nachzuvollziehen. Ich verstehe jedoch immer noch nicht, wie ein Term aus einer Menge von Termen hergeleitet wird bzw., was das ganze bedeuten soll.
![](https://images.gutefrage.net/media/default/user/10_nmmslarge.png?v=1551279448000)
Bsp: Kann P sowohl aus K u {Q} und aus K u {¬Q} hergeleitet werden, dann kann P auch schon aus K hergeleitet werden.
K ist hierbei eine Menge von Termen und P/Q Terme