Formale Logik |
Luisee unregistriert
|
|
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 16:49 |
|
|
ed209
Routinier
Dabei seit: 07.09.2006
Beiträge: 324
|
|
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
|
|
17.01.2014 20:02 |
|
|
|