Kripkes Completeness Theorem (K&L): Unterschied zwischen den Versionen
Aus Philo Wiki
Naomi (Diskussion | Beiträge) |
Naomi (Diskussion | Beiträge) |
||
| Zeile 1: | Zeile 1: | ||
| − | Saul Kripke Definitionen, Axiome, Regeln, etc. | + | == Saul Kripke Definitionen, Axiome, Regeln, etc. == |
| − | Symbole:<br> | + | |
| + | '''Symbole:'''<br> | ||
^ ............und<br> | ^ ............und<br> | ||
~ ........... nicht<br> | ~ ........... nicht<br> | ||
| Zeile 8: | Zeile 9: | ||
= ........... ist ident mit<br> | = ........... ist ident mit<br> | ||
| − | Definitionen:<br> | + | '''Definitionen''':<br> |
AvB...........~(~A^~B)<br> | AvB...........~(~A^~B)<br> | ||
A-> B ........~(A^~B)<br> | A-> B ........~(A^~B)<br> | ||
| Zeile 14: | Zeile 15: | ||
(∃x)A(x)..... ~(x)~A(x)<br> | (∃x)A(x)..... ~(x)~A(x)<br> | ||
| − | Axiome und Regeln:<br> | + | '''Axiome und Regeln''':<br> |
A1: □A->A<br> | A1: □A->A<br> | ||
A2: ~ □A->□~ □A<br> | A2: ~ □A->□~ □A<br> | ||
| Zeile 22: | Zeile 23: | ||
R2: wenn ├A, ├□A<br> | R2: wenn ├A, ├□A<br> | ||
| − | Regeln für semantische Baumstrukturen nach Beth (wenn [fett], dann [nicht fett]) :<br> | + | '''Regeln für semantische Baumstrukturen nach Beth''' (wenn ['''fett'''], dann [nicht fett]) :<br> |
| − | Regel | + | Regel wahr falsch<br> |
| − | Nl | + | Nl ~A A<br> |
Nr A ~A<br> | Nr A ~A<br> | ||
Version vom 4. April 2006, 19:51 Uhr
Saul Kripke Definitionen, Axiome, Regeln, etc.
Symbole:
^ ............und
~ ........... nicht
□........... notwendig
(x) ......... Allquantor
= ........... ist ident mit
Definitionen:
AvB...........~(~A^~B)
A-> B ........~(A^~B)
◊A............ ~□ ~A
(∃x)A(x)..... ~(x)~A(x)
Axiome und Regeln:
A1: □A->A
A2: ~ □A->□~ □A
A3: □ (A->B)-> (□A->□B)
R1: wenn ├A und ├A->B, ├B
R2: wenn ├A, ├□A
Regeln für semantische Baumstrukturen nach Beth (wenn [fett], dann [nicht fett]) :
Regel wahr falsch
Nl ~A A
Nr A ~A
Λl A^B
A
B
Λr1 A^B Baum teilt sich!
A
Λr2 A^B
B
Πl (x)A(x)
A (a)
Πr (x)A(x)
A(a)
Il a=b
A(a,b) ersetzen
durch A(b,b)
Ir ---
Yl □A
A
Yr □A
Neuer Hilfstableau: wahr falsch
A
