Folgern: Unterschied zwischen den Versionen
Aus Byte-Welt Wiki
Die Seite wurde neu angelegt: ='''Folgern im Aussagenkalkül'''= Es sei<math> X \subseteq ausd\ </math> * Eine Belegung <math>\beta</math> heißt Modell von<math> X \subseteq ausd\ ( \beta Mod X )... |
Keine Bearbeitungszusammenfassung |
||
| Zeile 4: | Zeile 4: | ||
* Eine Belegung <math>\beta</math> heißt Modell von<math> X \subseteq ausd\ ( \beta Mod X )</math>, wenn für alle <math> H \in X </math> gilt: <math> \beta erf H \ </math>. | * Eine Belegung <math>\beta</math> heißt Modell von<math> X \subseteq ausd\ ( \beta Mod X )</math>, wenn für alle <math> H \in X </math> gilt: <math> \beta erf H \ </math>. | ||
* Aus<math>\ X </math>folgt<math>\ H | * Aus<math>\ X </math>folgt<math>\ H \ ( X fol H )</math> , wenn jedes Modell<math>\ \beta </math>von<math>X\ </math>den Ausdruck<math>H\ </math>erfüllt. | ||
* Der Folgerungsoperator <math>\ fl\ </math> ist wie folgt definiert: <math>fl( X ) := \{ H \vert X fol H \} </math> | * Der Folgerungsoperator <math>\ fl\ </math> ist wie folgt definiert: <math>fl( X ) := \{ H \vert X fol H \} </math> | ||
Version vom 26. Juli 2007, 20:54 Uhr
Folgern im Aussagenkalkül
Es seiFehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://api.formulasearchengine.com/v1/“:): X \subseteq ausd\
- Eine Belegung Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://api.formulasearchengine.com/v1/“:): \beta heißt Modell vonFehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://api.formulasearchengine.com/v1/“:): X \subseteq ausd\ ( \beta Mod X ) , wenn für alle Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://api.formulasearchengine.com/v1/“:): H \in X gilt: Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://api.formulasearchengine.com/v1/“:): \beta erf H \ .
- AusFehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://api.formulasearchengine.com/v1/“:): \ X folgtFehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://api.formulasearchengine.com/v1/“:): \ H \ ( X fol H ) , wenn jedes ModellFehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://api.formulasearchengine.com/v1/“:): \ \beta vonFehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://api.formulasearchengine.com/v1/“:): X\ den AusdruckFehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://api.formulasearchengine.com/v1/“:): H\ erfüllt.
- Der Folgerungsoperator Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://api.formulasearchengine.com/v1/“:): \ fl\ ist wie folgt definiert: Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://api.formulasearchengine.com/v1/“:): fl( X ) := \{ H \vert X fol H \}
Eigenschaften des Folgerungsoperators
Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://api.formulasearchengine.com/v1/“:): fl(ag) \subseteq ag
Beweis:
Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://api.formulasearchengine.com/v1/“:): fl(ag)= fl(fl( \emptyset ))=fl(\emptyset )=ag
