Aussagenlogik - Axiomensystem |
| 13.12.2008, 15:27 | Csak | Auf diesen Beitrag antworten » |
| Aussagenlogik - Axiomensystem ich muss euch noch einmal belästigen, dieses Mal hoffentlich zum letzten Mal als Fragestellender. Mein Kurs neigt sich dem Ende und bis jetzt hab ich das meiste eig. ganz gut hergebracht. Momentan häng ich aber gerade bei einer Frage, die folgendermaßen lautet: Beweise die Axiome A1 - ... durch Aufweis ihres tautologischen Charakters. A1 -> (regelpfeil) A --> (impliziert) A A2 A --> B, B --> C -> (regelpfeil) A --> C . . . usw. Unter einer Tautologie verstehe ich es, wenn der Wahrheitswert immer "w" ist. Bei A --> A kann man das mit Hilfe einer Wahrheitstafel ja auch ganz einfach nachweisen bzw. prüfung. Bei A2 hab ich da allerdings meine Probleme, A --> C ist ja keine Tautolution, muss ich da zuerst was mit den Formeln vor dem Regelpfeil machen? Wäre nett, wenn ihr mir da nen kleinen Schubs geben könntet. Danke 
|
||
|
|
Verwandte Themen
| Die Beliebtesten » |
|
| Die Größten » |
|
| Die Neuesten » |
|
