In der Logik ist eine drei geschätzte Logik (auch dreiwertige, dreifältige oder trinary Logik, manchmal abgekürzt 3VL) einige von mehreren vielgeschätzten Logiksystemen, in denen es drei Wahrheitswerte gibt, die wahr, falsch und ein unbestimmter dritter Wert anzeigen. Dem wird mit der allgemeiner bekannten zweiwertigen Logik gegenübergestellt (wie klassischer sentential oder boolean Logik), die nur für den wahren und das falsche zur Verfügung stellen. Begriffsform und Grundideen wurden durch Łukasiewicz, Lewis und Sulski am Anfang geschaffen. Diese wurden dann von Grigore Moisil in einer axiomatischen algebraischen Form wiederformuliert, und haben sich auch bis zu die n-valued Logik 1945 ausgestreckt.

Darstellung von Werten

Als mit der zweiwertigen Logik können Wahrheitswerte in der dreifältigen Logik numerisch mit verschiedenen Darstellungen des dreifältigen Ziffer-Systems vertreten werden. Einige der allgemeineren Beispiele sind:

• 1 für den wahren, 2 für den falschen, und 0 für den unbekannten, das irrelevante, oder beide.
• 0 für den falschen, 1 für den wahren, und ein drittes Symbol der nichtganzen Zahl solcher als # oder ½ für den Endwert, auch bekannt als "vielleicht".
• Erwogener dreifältiger Gebrauch 1 für den falschen, +1 für den wahren und 0 für den dritten Wert; diese Werte können auch zu , +, und 0, beziehungsweise vereinfacht werden.

Dieser Artikel illustriert hauptsächlich ein System der dreifältigen Satzlogik mit den Wahrheitswerten {falsch, unbekannt, und wahr}, und erweitert herkömmliche boolean Bindewörter zu einem dreiwertigen Zusammenhang. Dreifältige Prädikat-Logik besteht ebenso; diese können Lesungen des quantifier verschiedenen von der klassischen (binären) Prädikat-Logik haben, und können Alternative quantifiers ebenso einschließen.

Logik

Logik von Kleene

Unten ist eine Reihe von Wahrheitstabellen, die Logikoperationen wegen der Logik von Kleene zeigend.

In dieser Wahrheitstabelle kann vom UNBEKANNTEN Staat als ein gesiegelter Kasten metaphorisch gedacht werden, der entweder einen eindeutig WAHREN oder eindeutig FALSCHEN Wert enthält. Die Kenntnisse dessen, ob besonderer UNBEKANNTER Staat heimlich WAHR oder FALSCH jederzeit rechtzeitig vertritt, sind nicht verfügbar. Jedoch können bestimmte logische Operationen ein eindeutiges Ergebnis nachgeben, selbst wenn sie mindestens einen UNBEKANNTEN operand einschließen. Zum Beispiel, seitdem WAHR ODER WAHR ist STIMMT, und WAHR gleich, ODER FALSCH ist auch gleich STIMMT, man kann ableiten, dass WAHR ODER UNBEKANNT STIMMT, ebenso gleich ist. In diesem Beispiel da konnte jeder zweiwertiger Staat dem UNBEKANNTEN Staat unterliegen, aber jeder Staat gibt auch dasselbe Ergebnis, endgültige WAHRE Ergebnisse in allen drei Fällen nach.

Wenn numerische Werte dem FALSCHEN, UNBEKANNTEN und solchem WAHREN zugeteilt werden, dass die FALSCHE" Entschlossenheit zum FALSCHEN für eine Aufzeichnung mit "Chicago" im Stadtfeld, aber es löst sich zum UNBEKANNTEN für eine Aufzeichnung mit einem UNGÜLTIGEN Stadtfeld auf. Mit anderen Worten, zu SQL, vertritt ein unbestimmtes Feld potenziell jeden möglichen Wert: Eine fehlende Stadt könnte oder könnte Paris nicht vertreten.

Mit der dreifältigen Logik kann SQL dann für den UNBEKANNTEN Wahrheitsstaat im Auswerten boolean Ausdrücke verantwortlich sein. Denken Sie den Ausdruck"

Auf der SQL Datenmanipulationssprache beginnt ein Wahrheitsstaat von WAHREN für einen Ausdruck (z.B, in einer Klausel) eine Handlung auf einer Reihe (z.B geben die Reihe zurück), während ein Wahrheitsstaat von UNBEKANNTEN oder FALSCHEN nicht tut. Auf diese Weise wird dreifältige Logik in SQL durchgeführt, während man sich als binäre Logik dem SQL Benutzer benimmt.

SQL Kontrolle-Einschränkungen benehmen sich verschieden jedoch. Nur ein Wahrheitsstaat von FALSCHEN Ergebnissen in einer Übertretung einer Kontrolle-Einschränkung. Ein Wahrheitsstaat von WAHREN oder UNBEKANNTEN zeigt an, dass eine Reihe gegen die Kontrolle-Einschränkung erfolgreich gültig gemacht worden ist.

Siehe auch

• Digitalstromkreis
• Dreifältiges Ziffer-System (und Erwogen dreifältig)

Dreifältiger Computer

• Algebra von Boolean (Struktur)
• Boolean fungieren
• Binäre Logik
• Setun - ein experimenteller russischer Computer, der auf der dreifältigen Logik basiert

hat

• Aymara-Sprache - eine bolivianische Sprache, die berühmt ist, wegen dreifältige aber nicht binäre Logik zu verwenden
• Vier Wertlogik
• Ungültig (SQL) - SQL Datenbankanfragensprache vereinigt UNGÜLTIGEN Anschreiber als ein Teil seiner dreifältigen Logikdurchführung