Aussagenlogik |
| 13.10.2009, 12:48 | no_matt | Auf diesen Beitrag antworten » |
| Aussagenlogik kann mir jemand bei der Lösung folgender Aussagenlogik helfen: Prove the validity of the following sequents |- = Ableitung (p and q) and r |- p and (q and r) |
||
| 13.10.2009, 13:30 | kiste | Auf diesen Beitrag antworten » |
Hallo, in welchen Modellen ist (p and q) and r denn wahr? Ist dann auch p and (q and r) wahr? |
||
| 13.10.2009, 13:37 | no_matt | Auf diesen Beitrag antworten » |
ich habe einen Ansatz mit der and-elimination und and-introduction schon: 1) (p and q) and r 2) p and q (and-elimination Zeile 1) 3) p (and-elimination Zeile 2) 4) q (and-elimination Zeile 2) 5) r (and-eliminiation Zeile1) und das ganze wieder mit der and-instruduction zusammen zu bauen, nur wie bekomme ich die klammer hin? nur ich bin mir nicht sicher, ob ich es so lösen kann |
||
| 13.10.2009, 13:42 | kiste | Auf diesen Beitrag antworten » |
Ich kenne and-elimination und and-introduction zwar nicht aber ich denke mal es ist eine Inferenz die sagt: a and b gilt genau dann wenn auch a bzw. b gilt. Also machst du eben das ganze Rückwärts: 4.) q und 5.) r mit "and-introduction" zu 6.) (q and r) und dann 3.) und 6.) zu p and (q and r) |
||
| 13.10.2009, 14:27 | no_matt | Auf diesen Beitrag antworten » |
ja genau THX |
||
|
|
Verwandte Themen
| Die Beliebtesten » |
|
| Die Größten » |
|
| Die Neuesten » |
|
