Um den Begriff zu definieren "Aussagenlogik", müssen Sie genau verstehen, was ist die "Erklärung."
So die Aussage ist ein Vorschlag, auf Platz grammatikalisch korrekt und ist falsch oder wahr.Diese Vorstellung muss eine gewisse Bedeutung auszudrücken.Zum Beispiel, "Kanarienvögel haben" schließt der Ausdruck die folgenden Komponenten: "Kanarienvogel" und "Bird".
Deshalb ist eine der Schlüssel erste Konzepte der Logik und sagt.Diese Konzepte sind, um der besonderen Situation, in der die Aussage ist entweder etwas oder Ablehnung zu beschreiben.
Wahre als zu sagen, wenn gebrochene Linie Realität der Situation, wenn es umschreibt.Selbst "false" und "true" definieren eine wahre Aussage.
Logik Aussagen besteht aus einfachen und komplexen Ausdrücken.Also, man denke nur an die Erklärung, die nicht in seiner Zusammensetzung andere Ausdrücke enthalten ist.Und zu dem Komplex gehören Ausdrücke, die von den einfachen, logisch zusammenhängende Aussagen ableiten.
klassischen Aussagenlogik können durch die allgemeine Theorie der Deduktion vertreten sein.Es ist der Teil der Logik, die nicht auf der Struktur von Sätzen von logischen Verbindungen einfachen Ausdrücken beschreibt abhängen.Eine komplexe Aussage, durch Kombination von zwei einfache Ausdrücke mit dem Wort "und" erhalten -
Nicht zu vergessen die Konjunktionen zu erwähnen.Die Wahrheit der Zusammenhang bestätigt die Richtigkeit aller in seiner Struktur enthalten Aussagen.In dem Fall, dass mindestens eines ihrer Mitglieder falsch ist, ist die gesamte Verbindung ein Zeichen für "eine Lüge."
Verbindung selbst dient, um die komplexen Aussagen, die auf diesen Annahmen beruhen, bilden:
- jeden Ausdruck (einfache und komplexe) können entweder wahr oder falsch sein;
- die Wahrheit der komplexe Äußerungen ist abhängig von der Wahrheit der darin enthaltenen Erklärungen und die logischen Verbindungen in sie.
Beim Verbinden von zwei Aussagen mit dem Wort "oder" hat bereits eine Trennung erhalten.Im täglichen Leben kann dieses Konzept aus der Perspektive von zwei verschiedenen Bedeutungen betrachtet werden.Erstens ist es nicht ausschließliche Sinn, der die Gültigkeit der Ausdruck impliziert, unabhängig von der wahren Expression eines oder zwei solcher beide sind.Zweitens die Beseitigung der Sinn behauptet, dass einer der Ausdrücke wahr ist, und die anderen - ist falsch.
Formeln der Aussagenlogik Sonderzeichen enthalten.Somit wird in der Disjunktion Zeichen V bezeichnet die Tatsache, daß der Ausdruck wahr ist, die Wahrheit von mindestens einer der Anweisungen, und falsch, wenn sowohl der Mitglieder falsch sind.
Bei der Ermittlung der Auswirkungen gibt es eine Erklärung, dass die Basis nicht wahr sein kann an der falschen Untersuchung.Mit anderen Worten bedeutet dieses Konzept Abhängigkeit Wahrheit oder Falschheit des Ausdrucks des Wertes seiner Komponenten und Verfahren zu ihrer Beziehungen.
Trotz der Tatsache, daß die Folge ist sehr nützlich für einige Zwecke ist es nicht sehr gut mit dem Verständnis des konditionierten Verbindung im Allgemeinen.So wird in vielen wichtigen Merkmale umgibt das Gerät logische Verhalten sagen, dieses Konzept nicht eine angemessene Beschreibung davon zu sein.
Logik der Aussagen zur Bewältigung dieses zentrale Problem gerichtet, als die Trennung von Recht und Unrecht Begründung Systeme und Systematisierung des ersten.Um das richtige Ergebnis zu erhalten, müssen Sie auf die Sonderzeichen, die einen oder anderen Form darstellen kann konzentrieren.Daher die bezeichneten Interesse an solchen scheinbar unbedeutende Wörter wie "und", "und", etc.
Logik Aussagen hat sogar eine eigene Sprache, die aus folgenden Elementen besteht:
- die ursprünglichen Zeichen - Variablen, Konstanten und logische technische Zeichen;
- Formeln.
zu verstehen, was gesagt wurde, muss auf spezifische Beispiele zu gehen.Beispielsweise unter Verwendung der Verbindung Symbol & amp;, Disjunktion - \ / oder \ º /.
