von Matthew » 21.07.12 15:23
Semantisch beweißen heißt dann die Korrektheit zeigen richtig? (auch invers korrekt)?
Was ich jetzt dazu gefunden habe ist:
Beweiss Korrektheit: Es wird angenommen, dass die Prämissen gültig sind. Nun muss gezeigt werden, dass die Konklussion gültig ist.
Beweiss inverse Korrektheit: Es wird angenommen, dass die Konklussion gültig ist. Nun muss gezeigt werden, dass die Prämissen gültig sind.
Beweiss Korrektheit:
Bei einer Wiederlegung muss man dann einfach ein Gegenbeispiel finden und die Formelmengen und Formeln passend belegen.
Bei einem Korrktheitsbeweiß muss man das Antezedenz (linke Seite von =>) mit einer Interpretation I belegen, sodass I |= Antezedenz.
Dann werden alle möglichen Fälle abgeleitet, sodass das Antezedenz immer noch Modell für jede Formel bleibt und zeigt mit Hilfe der Prämissen, dass dies weiter eine gültige Sequenz ist.
Stimmt das soweit?
Beweiss invers Korrektheit
Man setzt I |= Antezedenz und die Formel des Sukzedenz auf falsch und schreibt am Ende hin "und es folgt aus der Gültigkeit der Konklussion I |= v wobei v die Formelmenge auf Seiten des Sukzedenz ist"
Kann das jemand so als Herangehensweise bestätigen?