Hallo!

Wir haben in den Übungen die Aufgabe Inferenzregeln auf Korrektheit zu überprüfen. Dann sollen wie beweisen, dass sie korrekt sind, oder aber zeigen warum nicht.

Wie mache ich das? Wie schreibe ich so einen Beweis auf? Oder wie sollen wir es zeigen, das es keine Inferenzregel ist?

Könnte das jemand vielleicht am Beispiel Modus Pones mal zeigen, wie so ein Beweis aussehen soll?

soll das mit einer Wahrheitstafel gemacht werden?

Etwas lax formuliert ist eine Inferenzregel genau dann korrekt wenn aus der Formelmenge, die oben auf dem "Bruchstrich" steht die Formel unter dem Bruchstrich logisch folgerbar ist.

also reicht es doch zu zeigen, das da wo alle prämissen wahr werden auch die konklusion wahr wird.

Ja genau, jede Belegung, die ein Modell der Prämisse ist, muss auch ein Modell der Konklusion sein, damit die Inferenzregel korrekt ist.