Hallo, könnte mir jemand die Lösungen zu 3. Der Präsenzaufgaben sagen? Dazu gibt es keine Musterlösung und ich bin mir nich so ganz sicher ob ich richtig liege.
Link
Hallo,
ich habe nicht die Lösungen von damals, aber ich habe die Aufgabe einfach selber gerade schnell gemacht und bei den "kniffligeren" eine kurze Begründung dazu geschrieben. Ich hab folgendes raus:
F, G kontigent
K Kontradiktion
T Tautologie
(T AND K) : Kontradiktion
(K OR /K) : Tautologie
(/T AND F) : Kontradiktion
(K => /T) : Tautologie
(T => /K) : Tautologie
(F => /F) : kontigent (entspricht (/F OR /F), also /F)
(F => /F) <=> F : Kontardiktion (entspircht (/F <=> F))
((K => F) OR F) : Tautologie (entspricht (T OR F))
(F => /F) <=> G : kontigent (entspricht (/F <=> G))
(F => /F) <=> G : kontigent (entspricht (/F <=> G))
Das muss nicht kontingent sein. Das kann Kontradiktion,
Tautologie, oder kontingent sein:
- Im Fall G=/F ist das z.B. eine Tautologie,
- im Fall G=F ist es eine Kontradiktion und
- falls G weder zu F noch zu /F äquivalent ist, erhält man eine
kontingente Formel.
Die anderen sind aber richtig.
ich bin davon ausgegangen, dass F nicht äquivalent zu G ist, weil es sonst keinen Sinn machen würde in der Aufgabe überhaupt F und G als zwei kontigente Formeln einzuführen. Aber du hast natürlich recht. Und den Fall, dass G=/F sein könnte habe ich auch nicht bedacht.
Laut Musterlösung vom letzten Jahr ergibt sich kontingent!
also alles richtig was doodles gemacht hat…
Laut Musterlösung vom letzten Jahr ergibt sich kontingent!
Danke, dann sollte die Musterlösung korrigiert werden.
Ich dachte auch es wäre Kontradiktion bzw Tautologie.
Wegen sowas zerbreche ich mir grad den Kopf. Ich weiß immer noch nicht ob das 100% richtig ist.