hi, könnte jemand Zusammenhang zwischen Implikation und Folgerbarkeit bzw. Modus Ponens und Folgerbarkeit erklären?

Vielen Dank

Implikation und Folgerbarkeit: Siehe Folie Kap.5 [ 10 ] mit dem Titel "Folgerung und Implikation" (wie passend, nicht?).  Da gibt es eigentlich nichts hinzuzufügen.

Modus Ponens und Folgerbarkeit:  MP ist eine korrekte Inferenzregel, d.h. es gilt [latex]\{F, F \Rightarrow G\} \vdash_{MP} G \textnormal{ gdw. } \{F, F \Rightarrow G\} \models G[/latex] .  (Hierbei steht [latex]\vdash_{MP}[/latex] für Ableitung im Kalkül mittels MP, [latex]\models[/latex] für Folgerbarkeit.)

Ich glaub implikation ist so was wie ein Logik operator, das evaluierte Ausdruck kann wahr oder falsch sein und Folgerbarkeit ist ein Meta(eine Ebene höher)-Konstrukt und arbeitet nicht mit den Werten der aussagelogischen Variablen sondern mit der aussagelogischen Formel selbst.