Formale Logik |
| 17.01.2014, 16:49 | Auf diesen Beitrag antworten » |
| Luisee | Formale Logik Hallo, Folgende Aufgabe bereitet mir etwas Kopfschmerzen. Ich würde mich freuen, wenn mir jemand helfen kann! 
Damit alles deutlich wird erkläre ich die Zeichen einzeln,denn ich studiere Logik in Belgien und wir verwenden meist andere Zeichen, als in deutschland üblich: Zeigen Sie, dass folgende Term korrekt ist: p>q / ~pvq p und q sind jeweils willkürliche Aussagen der Aussagenlogik >=Wenn P, dann folgt auch q /= daraus folgt, lässt sich logisch ableiten ~= Negation v= oder Lösungsansatz: (1) p>q Premisse (2) p Hypothese (3) q (>E), (1)-(2) (4) pvq (vI), (2)-(3) Weiter bin ich bislang leider nicht gelangt, und auch damit etwas unsicher. Damit es zu keinen Undeutlichkeiten kommt hier nochmal beide Regeln ausgeschrieben: (<E): A, A>B/ B (modus ponens) (vI): A/ AvB bzw. B/ AvB (addition) Über Hilfe würde ich mich riesig freuen. 
|
|
|
|
| 17.01.2014, 20:02 | Auf diesen Beitrag antworten » |
| ed209 | Hi Luisee, Formale Logik ist bei mir etwas her, aber ich versuch mich trotzdem. Was für eine Art von Beweisführung versuchst du zu führen? Du stellst eine Hypothese auf, das verbinde ich hauptsächlich mit der Beweisführung per Widerspruch. Wenn p deine Hypothese ist, was würde aus einem Widerspruch dann folgen? Gruß, ED |
|
|
Verwandte Themen
| Die Beliebtesten » |
|
| Die Größten » |
|
| Die Neuesten » |
|
