Geschrieben von Luisee am 17.01.2014 um 16:49:
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.
