Zum Inhalt springen

Kompaktheitssatz (Logik)

aus Wikipedia, der freien Enzyklopädie

Der Kompaktheitssatz, auch Endlichkeitssatz genannt, ist einer der wichtigsten Sätze der Aussagenlogik und der Prädikatenlogik erster Stufe. Er besagt: Eine (möglicherweise unendliche) Formelmenge <math>\Sigma</math> ist genau dann erfüllbar (d. h., hat ein Modell), wenn jede endliche Teilmenge von <math>\Sigma</math> erfüllbar ist. Für die Logik der 2. Stufe gilt dieser Satz nicht.

Eine wichtige Folgerung aus dem Kompaktheitssatz ist, dass jede (möglicherweise unendliche) Formelmenge <math>\Sigma</math>, die beliebig große endliche Modelle hat, auch ein unendliches Modell hat. Mit dieser Folgerung ist häufig die Axiomatisierbarkeit von Klassen endlicher Strukturen widerlegbar.

Beweis

Für die Prädikatenlogik erster Stufe ergibt sich der Kompaktheitssatz als Korollar aus dem Gödelschen Vollständigkeitssatz. Dementsprechend kurz gestaltet sich auch der Beweis:

„<math>\Rightarrow</math>“: Angenommen, <math>\Sigma</math> hat ein Modell. Dann ist dieses (trivialerweise) auch ein Modell einer jeden endlichen Teilmenge von <math>\Sigma</math>.

„<math>\Leftarrow</math>“: Angenommen, jede endliche Menge <math>\Sigma_\text{fin} \subseteq \Sigma</math> besitzt ein Modell. Zur Erzeugung eines Widerspruchs wird angenommen, <math>\Sigma</math> habe kein Modell. Dann folgt aus <math>\Sigma</math> semantisch ein Widerspruch, z. B. <math>\exists x: x \neq x</math>. Formal:

<math>\Sigma \models \exists x: x \neq x</math>

(Jedes Modell, das <math>\Sigma</math> erfüllt, erfüllt auch den Widerspruch. Das gilt, weil es eben kein Modell für <math>\Sigma</math> gibt.)

Der Gödelsche Vollständigkeitssatz sagt nun, dass <math>\exists x: x \neq x</math> schon syntaktisch aus <math>\Sigma</math> folgt. Formal:

<math>\Sigma \vdash \exists x: x \neq x</math>

Es gibt also einen formalen Beweis, eine syntaktische Herleitung von <math>\exists x: x \neq x</math> aus <math>\Sigma</math>. Da eine Herleitung in einem formalen System (nach Definition) endlich ist, können in dieser Herleitung auch nur endlich viele Formeln aus <math>\Sigma</math> verwendet worden sein. Also ist aus einer endlichen Teilmenge von <math>\Sigma</math> ein Widerspruch herleitbar, und diese besitzt somit kein Modell (Korrektheitssatz). Widerspruch. Also besitzt <math>\Sigma</math> doch ein Modell.

Im Kern des Beweises steht das folgende Ergebnis, das direkt aus dem Gödelschen Vollständigkeitssatz folgt:

Folgt eine Formel <math>\varphi</math> aus einer Formelmenge <math>\Sigma</math>, so gibt es eine endliche Menge <math>\Sigma_\text{fin} \subseteq \Sigma</math>, sodass <math>\varphi</math> aus <math>\Sigma_\text{fin}</math> folgt. (<math>\Sigma \models \varphi \Rightarrow</math> es gibt endliches <math>\Sigma_\text{fin} \subseteq \Sigma</math> mit <math>\Sigma_\text{fin}\models \varphi</math>).

Ein gänzlich anderer Beweis, der auf den Begriff der syntaktischen Herleitbarkeit und auch auf den Vollständigkeitssatz verzichtet, ergibt sich in der Modelltheorie aus dem Satz von Łoś durch Ultraprodukte<ref>{{#if:|{{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|}}| |}}}}{{#if:|{{{autor}}}: }}{{#if:|{{#if:Ultraproducts|[{{#invoke:Vorlage:Internetquelle|archivURL|1={{#invoke:URLutil|getNormalized|1={{{archiv-url}}}}}}} {{#invoke:Vorlage:Internetquelle|TitelFormat|titel=Ultraproducts}}]{{#if:| ({{{format}}})}}{{#if:| {{{titelerg}}}{{#invoke:Vorlage:Internetquelle|Endpunkt|titel={{{titelerg}}}}}}}}}|{{#if:https://www.youtube.com/watch?v=AsM8T3Nn_R0%7C{{#if:{{#invoke:TemplUtl%7Cfaculty%7C}}%7C{{#invoke:Vorlage:Internetquelle%7CTitelFormat%7Ctitel={{#invoke:WLink%7CgetEscapedTitle%7C1=Ultraproducts}}}}%7C[{{#invoke:URLutil|getNormalized|1=https://www.youtube.com/watch?v=AsM8T3Nn_R0}} {{#invoke:Vorlage:Internetquelle|TitelFormat|titel={{#invoke:WLink|getEscapedTitle|1=Ultraproducts}}}}]}}{{#if:| ({{{format}}}{{#if:{{#if: 2022-12-06 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}}}} 

          | )
          | {{#if:{{#ifeq:de-DE|de||{{#if:de-DE|1}}}}| ; 
              | )}}}}}}{{#if:| {{{titelerg}}}{{#invoke:Vorlage:Internetquelle|Endpunkt|titel={{{titelerg}}}}}}}}}}}{{#if:https://www.youtube.com/watch?v=AsM8T3Nn_R0%7C{{#if:{{#invoke:URLutil%7CisResourceURL%7C1=https://www.youtube.com/watch?v=AsM8T3Nn_R0}}%7C%7C}}}}{{#if:Ultraproducts|{{#if:{{#invoke:WLink|isValidLinktext|1=Ultraproducts|lines=0}}||}}}}{{#if: | In: {{#invoke:Vorlage:Internetquelle|TitelFormat|titel={{{werk}}}}}}}{{#if: | {{{hrsg}}}{{#if: |,|{{#if: 2022-12-06 | {{#if:{{#invoke:TemplUtl|faculty|}}|;|,}}}}}}}}{{#if: | {{#if:{{#invoke:DateTime|format|{{{datum}}}|noerror=1}}
            |{{#invoke:DateTime|format|{{{datum}}}|T._Monat JJJJ}}
            |{{#invoke:TemplUtl|failure|1=Fehler bei Vorlage:Internetquelle, datum={{{datum}}}|class=Zitationswartung}} }}{{#if: |,|{{#if: 2022-12-06 | {{#if:{{#invoke:TemplUtl|faculty|}}|;|,}}}}}}}}{{#if: | S. {{{seiten}}}{{#if: |,|{{#if: 2022-12-06 | {{#if:{{#invoke:TemplUtl|faculty|}}|;|,}}}}}}}}{{#if: {{#invoke:TemplUtl|faculty|}}| {{#if:|{{#if:|archiviert|ehemals}}|{{#if:|Archiviert|Ehemals}}}} {{#if:|vom|im}} Vorlage:Referrer{{#if:{{#invoke:TemplUtl|faculty|}}| (nicht mehr online verfügbar)}}{{#if: | am {{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|}}|{{{archiv-datum}}}{{#if:284253||(?)}}}}}}{{#if: 2022-12-06|;}}}}{{#if: 2022-12-06| {{#if:{{#invoke:TemplUtl|faculty|}}|abgerufen|Abgerufen}} {{#switch: {{#invoke:Str|len| {{#invoke:DateTime|format| 2022-12-06 |ISO|noerror=1}} }}
       |4=im Jahr
       |7=im
       |10=am
       |#default={{#invoke:TemplUtl|failure|1=Fehler bei Vorlage:Internetquelle, abruf=2022-12-06|class=Zitationswartung}} }} {{#invoke:DateTime|format|2022-12-06|T._Monat JJJJ}}
    | {{#invoke:TemplUtl|failure|1=Vorlage:Internetquelle | abruf=2026-MM-TT ist Pflichtparameter}} }}{{#if:{{#ifeq:de-DE|de||{{#if:de-DE|1}}}}|{{#if:{{#if: 2022-12-06 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}}}}
       |  (
       | {{#if: | |  (}}
       }}{{#ifeq:{{#if:de-DE|de-DE|de}}|de||
          {{#invoke:Multilingual|format|de-DE|slang=!|split=[%s,]+|shift=m|separator=, }}}}{{#if: |{{#ifeq:{{#if:de-DE|de-DE|de}}|de||, }}{{{kommentar}}}}})}}{{#if: {{#if: 2022-12-06 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}} }}de-DE|{{#if: |: {{
 #if: 
 | „{{
     #ifeq: {{#if:{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|de}} | de
     | Vorlage:Str trim
     | {{#invoke:Vorlage:lang|flat}}
     }}“
 | {{#ifeq: {{#if:{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|de}} | de
     | „Vorlage:Str trim“
     | {{#invoke:Text|quote
         |1={{#if: 
              | {{#invoke:Vorlage:lang|flat}}
              | {{#invoke:Vorlage:lang|flat}} }}
         |2={{#if: {{#invoke:TemplUtl|faculty|}}|de-CH|de}}
         |3=1}} }}

}}{{#if: 

   |  (<templatestyles src="Person/styles.css" />{{#if:  | :  }}{{#if:  | , deutsch: „“ }})
   | {{#if: 
       |  ({{#if:  | , deutsch: „“ }})
       | {{#if:  |  (deutsch: „“) }}
 }}

}}{{#if: {{{zitat}}} 

   | {{#if: 
       | {{#if: {{{zitat}}}
           | Vorlage:": Text= und 1= gleichzeitig, bzw. Pipe zu viel }} }}
   | Vorlage:": Text= fehlt }}{{#if:  | {{#if: {{#invoke:Text|unstrip|{{{ref}}}}}
             | Vorlage:": Ungültiger Wert: ref=
             | {{{ref}}} }}

}}|.{{#if:{{#invoke:TemplUtl|faculty|}}|{{#if:||{{#ifeq: | JaKeinHinweis |{{#switch: 

   |0|=Vorlage:Toter Link/Core{{#if: https://www.youtube.com/watch?v=AsM8T3Nn_R0
       | {{#if:  | [1] }} (Seite {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. Suche im Internet Archive (T)){{#if: 
           | {{#if: deadurlausgeblendet | | Vorlage:Toter Link/archivebot }}
         }}
       |   (Seite {{#switch:|no|0|=|#default=dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}.)
     }}{{#switch: 
         |no|0|=
         |#default={{#if:  ||  }}
    }}{{#invoke:TemplatePar|check
         |opt      = inline= url= text= datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   = 
         |preview  = 1
    }}{{#if: https://www.youtube.com/watch?v=AsM8T3Nn_R0
      | {{#if:{{#invoke:URLutil|isWebURL|https://www.youtube.com/watch?v=AsM8T3Nn_R0}}
          || {{#if:  ||  }} 
        }}
      | {{#if: 
           | {{#if:  ||  }}
           | {{#if:  ||  }}
        }}
    }}{{#if: 
       | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             || {{#if:  ||  }} 
         }}
    }}{{#switch: deadurl
         |checked|deadurl|= 
         |#default=  {{#if:  ||  }}
    }}|#default= https://wiki-de.moshellshocker.dns64.de/index.php?title=Wikipedia:Defekte_Weblinks&dwl=https://www.youtube.com/watch?v=AsM8T3Nn_R0 Die nachstehende Seite ist {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar]{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. (Suche im Internet Archive. (T).)  {{#if: 
            | {{#if: deadurlausgeblendet | | Vorlage:Toter Link/archivebot }}
         }}Vorlage:Toter Link/Core{{#switch: 
          |no|0|=
          |#default= {{#if:  ||  }}
        }}{{#invoke:TemplatePar|check
         |all      = inline= url=
         |opt      = datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   = 
         |preview  = 1
       }}{{#if: https://www.youtube.com/watch?v=AsM8T3Nn_R0
       | {{#if:{{#invoke:URLutil|isWebURL|https://www.youtube.com/watch?v=AsM8T3Nn_R0}}
          || {{#if:  ||  }} 
        }}
    }}{{#if: 
         | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             || {{#if:  ||  }} 
           }}
    }}{{#switch: deadurl
         |checked|deadurl|= 
         |#default=  {{#if:  ||  }}
    }}[https://www.youtube.com/watch?v=AsM8T3Nn_R0 }}|{{#switch: 
   |0|=Vorlage:Toter Link/Core{{#if: https://www.youtube.com/watch?v=AsM8T3Nn_R0
       | {{#if:  | [2] }} (Seite {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. Suche im Internet Archive (T)){{#if: 
           | {{#if:  | | Vorlage:Toter Link/archivebot }}
         }}
       |   (Seite {{#switch:|no|0|=|#default=dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}.)
     }}{{#switch: 
         |no|0|=
         |#default={{#if:  ||  }}
    }}{{#invoke:TemplatePar|check
         |opt      = inline= url= text= datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   = 
         |preview  = 1
    }}{{#if: https://www.youtube.com/watch?v=AsM8T3Nn_R0
      | {{#if:{{#invoke:URLutil|isWebURL|https://www.youtube.com/watch?v=AsM8T3Nn_R0}}
          || {{#if:  ||  }} 
        }}
      | {{#if: 
           | {{#if:  ||  }}
           | {{#if:  ||  }}
        }}
    }}{{#if: 
       | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             || {{#if:  ||  }} 
         }}
    }}{{#switch: 
         |checked|deadurl|= 
         |#default=  {{#if:  ||  }}
    }}|#default= https://wiki-de.moshellshocker.dns64.de/index.php?title=Wikipedia:Defekte_Weblinks&dwl=https://www.youtube.com/watch?v=AsM8T3Nn_R0 Die nachstehende Seite ist {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar]{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. (Suche im Internet Archive. (T).)  {{#if: 
            | {{#if:  | | Vorlage:Toter Link/archivebot }}
         }}Vorlage:Toter Link/Core{{#switch: 
          |no|0|=
          |#default= {{#if:  ||  }}
        }}{{#invoke:TemplatePar|check
         |all      = inline= url=
         |opt      = datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   = 
         |preview  = 1
       }}{{#if: https://www.youtube.com/watch?v=AsM8T3Nn_R0
       | {{#if:{{#invoke:URLutil|isWebURL|https://www.youtube.com/watch?v=AsM8T3Nn_R0}}
          || {{#if:  ||  }} 
        }}
    }}{{#if: 
         | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             || {{#if:  ||  }} 
           }}
    }}{{#switch: 
         |checked|deadurl|= 
         |#default=  {{#if:  ||  }}
    }}[https://www.youtube.com/watch?v=AsM8T3Nn_R0 }} }}}}}}}}}}{{#if:|
        {{#invoke:Vorlage:Internetquelle|archivBot|stamp={{{archiv-bot}}}|text={{#if:|Vorlage:Webarchiv/archiv-bot}}

}}}}{{#invoke:TemplatePar|check |all= url= titel= |opt= autor= hrsg= format= sprache= titelerg= werk= seiten= datum= abruf= zugriff= abruf-verborgen= archiv-url= archiv-datum= archiv-bot= kommentar= zitat= AT= CH= offline= |cat= {{#ifeq: 0 | 0 | Wikipedia:Vorlagenfehler/Vorlage:Internetquelle}} |template= Vorlage:Internetquelle |format=0 |preview=1 }}</ref>.

Prädikatenlogik zweiter Stufe

Aus dem Kompaktheitssatz folgt, dass eine Formelmenge, die ein unendliches Modell hat, auch beliebig große Modelle hat. Denn hat <math>\Sigma</math> ein unendliches Modell, dann auch für eine beliebige (unendliche) Indexmenge <math>I</math> auch

<math>\Sigma \cup \{c_i \neq c_j \mid i,j \in I, i \neq j \}</math>,

denn jede endliche Menge hat ein Modell. (Die <math>c_i</math> sind neue Konstantensymbole)

Insbesondere lassen sich mit der Prädikatenlogik erster Stufe nur die endlichen, nicht aber die unendlichen Modelle bis auf Isomorphie charakterisieren.

Die Peano-Axiome beschreiben in der Prädikatenlogik zweiter Stufe aber die natürlichen Zahlen bis auf Isomorphie. Ist <math>\Sigma</math> die Menge der Peano-Axiome, so hat <math>\Sigma \cup \{ c > n \mid n \in \N \}</math> kein Modell, obwohl jede endliche Teilmenge ein Modell hat.

Namensherkunft

Betrachtet man den Raum <math>\mathrm{Th}(\mathcal{L}) = \{\,T\subseteq \mathrm{Frm}(\mathcal{L})\mid T\text{ hat ein Modell}\,\}</math> aller Theorien einer bestimmten Sprache <math>\mathcal{L}</math>, die ein Modell besitzen, so kann man diesen Raum mit einer Topologie versehen: Die Basismengen sind die Mengen <math>T_\phi = \{\,T\in \mathrm{Th}(\mathcal{L})\mid T\ni\phi\,\}</math> von Theorien, die <math>\phi\in\mathrm{Frm}(\mathcal{L})</math> enthalten. Der Kompaktheitssatz besagt nun gerade, dass dieser Raum topologisch kompakt ist.

Stellung in der Mengenlehre

Beim Beweis des Kompaktheitsatzes werden transfinite Methoden wie z. B. das Zornsche Lemma benutzt: Die entscheidende Stelle ist der Satz von Lindenbaum, der es erlaubt, von einer konsistenten Theorie zu einer maximal konsistenten Theorie überzugehen. Anders als z. B. der Satz, dass jeder Vektorraum eine Basis hat, ist der Kompaktheitssatz aber nicht äquivalent zum Zornschen Lemma bzw. dem Auswahlaxiom. Er ist jedoch äquivalent zu einer Reihe von anderen Sätzen wie dem booleschen Primidealsatz.

Literatur

  • {{#invoke:Vorlage:Literatur|f}}

Weblinks

  • <templatestyles src="Webarchiv/styles.css" />{{#if:20160417203320
      | {{#ifeq: 20160417203320 | *
    | Vorlage:Webarchiv/Wartung/Stern{{#if: Vorlesungsfolien zur Aussagenlogik der TU Dresden von Steffen Hölldobler (Endlichkeitssatz mit Beweis ab S. 86) | {{#invoke:WLink|getEscapedTitle|Vorlesungsfolien zur Aussagenlogik der TU Dresden von Steffen Hölldobler (Endlichkeitssatz mit Beweis ab S. 86)}} | {{#invoke:Webarchiv|getdomain|http://www.wv.inf.tu-dresden.de/Teaching/WS-2009/logik/folien/als2009.pdf}} }} (Archivversionen)
    | {{#iferror: {{#time: j. F Y|20160417203320}}
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/DatumDer Wert des Parameters {{#if: wayback | wayback | Datum }} muss ein gültiger Zeitstempel der Form YYYYMMDDHHMMSS sein!
         | {{#if: Vorlesungsfolien zur Aussagenlogik der TU Dresden von Steffen Hölldobler (Endlichkeitssatz mit Beweis ab S. 86) | {{#invoke:WLink|getEscapedTitle|Vorlesungsfolien zur Aussagenlogik der TU Dresden von Steffen Hölldobler (Endlichkeitssatz mit Beweis ab S. 86)}} | {{#invoke:Webarchiv|getdomain|http://www.wv.inf.tu-dresden.de/Teaching/WS-2009/logik/folien/als2009.pdf}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer }} vom {{#time: j. F Y|20160417203320}} im Internet Archive{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
      }}
  }}
      | {{#if:
          | {{#iferror: {{#time: j. F Y|{{{webciteID}}}}}
    | {{#switch: {{#invoke:Str|len|{{{webciteID}}}}}
       | 16= {{#if: Vorlesungsfolien zur Aussagenlogik der TU Dresden von Steffen Hölldobler (Endlichkeitssatz mit Beweis ab S. 86) | {{#invoke:WLink|getEscapedTitle|Vorlesungsfolien zur Aussagenlogik der TU Dresden von Steffen Hölldobler (Endlichkeitssatz mit Beweis ab S. 86)}} | {{#invoke:Webarchiv|getdomain|http://www.wv.inf.tu-dresden.de/Teaching/WS-2009/logik/folien/als2009.pdf}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer }} vom {{#time: j. F Y| 19700101000000 + {{#expr: floor {{#expr: {{#invoke:Str|sub|{{{webciteID}}}|1|10}}/86400}} }} days}} auf WebCite{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
       | 9 = {{#if: Vorlesungsfolien zur Aussagenlogik der TU Dresden von Steffen Hölldobler (Endlichkeitssatz mit Beweis ab S. 86) | {{#invoke:WLink|getEscapedTitle|Vorlesungsfolien zur Aussagenlogik der TU Dresden von Steffen Hölldobler (Endlichkeitssatz mit Beweis ab S. 86)}} | {{#invoke:Webarchiv|getdomain|http://www.wv.inf.tu-dresden.de/Teaching/WS-2009/logik/folien/als2009.pdf}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer}} vom {{#time: j. F Y| 19700101000000 + {{#expr: floor {{#expr: {{#invoke:Str|sub|{{#invoke:Expr|base62|{{{webciteID}}}}}|1|10}}/86400}} }} days}} auf WebCite{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
       | #default= Der Wert des Parameters {{#if: webciteID | webciteID | ID }} muss entweder ein Zeitstempel der Form YYYYMMDDHHMMSS oder ein Schüsselwert mit 9 Zeichen oder eine 16-stellige Zahl sein!Vorlage:Webarchiv/Wartung/webcitation{{#if:  || }}
      }}
    | c|{{{webciteID}}}}} {{#if: Vorlesungsfolien zur Aussagenlogik der TU Dresden von Steffen Hölldobler (Endlichkeitssatz mit Beweis ab S. 86) | {{#invoke:WLink|getEscapedTitle|Vorlesungsfolien zur Aussagenlogik der TU Dresden von Steffen Hölldobler (Endlichkeitssatz mit Beweis ab S. 86)}} | {{#invoke:Webarchiv|getdomain|http://www.wv.inf.tu-dresden.de/Teaching/WS-2009/logik/folien/als2009.pdf}} }} (Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer}} vom {{#time: j. F Y|{{{webciteID}}}}} auf WebCite{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
  }}
          | {{#if: 
              | Vorlage:Webarchiv/Today
              | {{#if:
                      | Vorlage:Webarchiv/Generisch
                      | {{#if: Vorlesungsfolien zur Aussagenlogik der TU Dresden von Steffen Hölldobler (Endlichkeitssatz mit Beweis ab S. 86) | {{#invoke:WLink|getEscapedTitle|Vorlesungsfolien zur Aussagenlogik der TU Dresden von Steffen Hölldobler (Endlichkeitssatz mit Beweis ab S. 86)}} | {{#invoke:Webarchiv|getdomain|http://www.wv.inf.tu-dresden.de/Teaching/WS-2009/logik/folien/als2009.pdf}} }}  
                 }}}}}}}}{{#if:
    | Vorlage:Webarchiv/archiv-bot
  }}{{#invoke:TemplatePar|check
     |all      = url=
     |opt      = text= wayback= webciteID= archive-is= archive-today= archiv-url= archiv-datum= ()= archiv-bot= format= original=
     |cat      = Wikipedia:Vorlagenfehler/Vorlage:Webarchiv
     |errNS    = 0
     |template = Vorlage:Webarchiv
     |format   = *
     |preview  = 1
  }}{{#ifexpr: {{#if:20160417203320|1|0}}{{#if:|+1}}{{#if:|+1}}{{#if:|+1}}{{#if:|+1}} <> 1
    | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Genau einer der Parameter 'wayback', 'webciteID', 'archive-today', 'archive-is' oder 'archiv-url' muss angegeben werden.|1}}
  }}{{#if: 
    | {{#switch: {{#invoke:Webarchiv|getdomain|{{{archiv-url}}}}}
        | web.archive.org = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von Internet Archive erkannt, bitte Parameter 'wayback' benutzen.|1}} 
        | webcitation.org = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von WebCite erkannt, bitte Parameter 'webciteID' benutzen.|1}} 
        | archive.today |archive.is |archive.ph |archive.fo |archive.li |archive.md |archive.vn = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von archive.today erkannt, bitte Parameter 'archive-today' benutzen.|1}}
      }}{{#if: 
         | {{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|}}
             | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Wert des Parameter 'archiv-datum' ist ungültig oder hat ein ungültiges Format.|1}}
          |  }} 
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Pflichtparameter 'archiv-datum' wurde nicht angegeben.|1}}
      }}
    | {{#if: 
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Parameter 'archiv-datum' ist nur in Verbindung mit 'archiv-url' angebbar.|1}}
      }}
  }}{{#if:{{#invoke:URLutil|isHostPathResource|http://www.wv.inf.tu-dresden.de/Teaching/WS-2009/logik/folien/als2009.pdf}}
    || {{#if:  || }}
  }}{{#if: Vorlesungsfolien zur Aussagenlogik der TU Dresden von Steffen Hölldobler (Endlichkeitssatz mit Beweis ab S. 86)
    | {{#if: {{#invoke:WLink|isBracketedLink|Vorlesungsfolien zur Aussagenlogik der TU Dresden von Steffen Hölldobler (Endlichkeitssatz mit Beweis ab S. 86)}}
        | {{#if:  || }}
      }}
    | {{#if:  || }}Vorlage:Webarchiv/Wartung/Linktext_fehlt
  }}{{#switch: 
    |addlarchives|addlpages= {{#if:  || }}{{#if: 1 |Vorlage:Webarchiv/Wartung/Parameter}}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: enWP-Wert im Parameter 'format'.|1}}
  }}{{#ifeq: {{#invoke:Str|find|http://www.wv.inf.tu-dresden.de/Teaching/WS-2009/logik/folien/als2009.pdf%7Carchiv}} |-1
    || {{#ifeq: {{#invoke:Str|find|{{#invoke:Str|cropleft|http://www.wv.inf.tu-dresden.de/Teaching/WS-2009/logik/folien/als2009.pdf%7C4}}%7Chttp}} |-1
         || {{#switch: {{#invoke:Webarchiv|getdomain|http://www.wv.inf.tu-dresden.de/Teaching/WS-2009/logik/folien/als2009.pdf }}
              | abendblatt.de | daserste.ndr.de | inarchive.com | webcitation.org = 
              | #default = {{#if:  || }}{{#if: 1 |Vorlage:Webarchiv/Wartung/URL}}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Archiv-URL im Parameter 'url' anstatt URL der Originalquelle. Entferne den vor der Original-URL stehenden Mementobestandteil und setze den Archivierungszeitstempel in den Parameter 'wayback', 'webciteID', 'archive.today' oder 'archive-is' ein, sofern nicht bereits befüllt.|1}}
            }} 
       }}
  }} (PDF; 293 kB)

Einzelnachweise

<references />

Abgerufen von „https://wiki-de.moshellshocker.dns64.de/index.php?title=Kompaktheitssatz_(Logik)&oldid=284253“