Roland Meyer SoSe 2013
Roland Meyer SoSe 2013
Roland Meyer SoSe 2013
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
Das deduktive System F 0<br />
Eingeführt von Stephen Cole Kleene (1909 — 1994).<br />
Definition 2.7 (Das deduktive System F 0 )<br />
Das deduktive System F 0 für die Aussagenlogik besteht aus der<br />
Formelmenge F 0 der Formeln in V,¬,→,( und ). Die Axiomenmenge Ax<br />
wird durch folgende Axiomenschemata beschrieben:<br />
Ax1: A → (B → A)<br />
Ax2: (A → (B → C)) → ((A → B) → (A → C))<br />
Ax3: (¬A → ¬B) → (B → A)<br />
Die Regelmenge R wird beschrieben durch das Regelschema<br />
MP:<br />
A,(A → B)<br />
B<br />
(modus ponens).<br />
<strong>Roland</strong> <strong>Meyer</strong> (TU Kaiserslautern) Logik <strong>SoSe</strong> <strong>2013</strong> 47 / 189
Change language