Abgeleitete Regeln Cr Regelkalkül Logik |
01.05.2022, 12:32 | leefret | Auf diesen Beitrag antworten » |
Abgeleitete Regeln Cr Regelkalkül Logik Hallo, ich habe Probleme beim lösen folgender Aufgabe. Es geht um eine Aufgabe im Bereich von Logik/Mathematik. Meine Ideen: - |
||
01.05.2022, 13:37 | Elvis | Auf diesen Beitrag antworten » |
In der Aussagenlogik sind das offenbar wahre Aussagen. Diese sollten also in einem geeigneten Kalkül ableitbar sein. Was genau ist dieser Cr Kalkül ? Welche Axiome sind darin enthalten, und welche Ableitungsregeln gelten ? Das muss man wissen, um die Ableitungen durchzuführen. |
||
01.05.2022, 15:04 | leefret | Auf diesen Beitrag antworten » |
Diese Ableitungsregeln habe ich im Internet dazu gefunden. |
||
01.05.2022, 17:53 | Elvis | Auf diesen Beitrag antworten » |
Ist das alles ? Wo sind die Axiome ? Wieso willst du eine Aufgabe lösen, wenn du erst ein paar Regeln im Internet suchen musst ? Zumindest (1) ist klar, denn das steht in der 5. Internet-Regel. |
|
Verwandte Themen
Die Beliebtesten » |
Die Größten » |
|
Die Neuesten » |
|