Logo
Unionpedia
Kommunikation
Jetzt bei Google Play
Neu! Laden Sie Unionpedia auf Ihrem Android™-Gerät herunter!
Installieren
Schneller Zugriff als Browser!
 

Dreiwertige Logik

Index Dreiwertige Logik

Dreiwertige Logiken (auch: ternäre Logiken) sind Beispiele für mehrwertige Logiken, also für nichtklassische Logiken, die sich von der klassischen Logik dadurch unterscheiden, dass das Prinzip der Zweiwertigkeit aufgegeben wird.

19 Beziehungen: Argument, Don’t-Care, Ex falso quodlibet, Graham Priest, Intuitionismus, Jan Łukasiewicz, Junktor, Klassische Logik, Lügner-Paradox, Mehrwertige Logik, Modus ponens, Nichtklassische Logik, Prinzip der Zweiwertigkeit, Schlussfolgerung, Stephen Cole Kleene, Subjunktion, Susan Haack, Tautologie (Logik), Wahrheitswert.

Argument

Wesentliche Bestandteile eines Arguments: Prämissen, Konklusion, Schluss Ein Argument (von) wird typischerweise dazu verwendet, etwas zu begründen oder jemanden zu überzeugen.

Neu!!: Dreiwertige Logik und Argument · Mehr sehen »

Don’t-Care

In der Digitaltechnik bedeutet Don’t-Care, X oder -, dass dieser Wert keinen Einfluss auf die Logikschaltung hat.

Neu!!: Dreiwertige Logik und Don’t-Care · Mehr sehen »

Ex falso quodlibet

Ex falso quodlibet, eigentlich ex falso sequitur quodlibet (lat. „aus Falschem folgt Beliebiges“), abgekürzt zu „e.f.q.“, eindeutiger ex contradictione sequitur quodlibet (lat., aus einem Widerspruch folgt Beliebiges), bezeichnet im engeren Sinn eines der beiden in vielen logischen Systemen gültigen Gesetze: Logisch falsch ist ein Satz dann, wenn er aufgrund seiner logischen Form nicht wahr werden kann.

Neu!!: Dreiwertige Logik und Ex falso quodlibet · Mehr sehen »

Graham Priest

Graham Priest Graham Priest (* 1948 in London) ist ein Philosoph und Logiker sowie Professor an der Universität Melbourne.

Neu!!: Dreiwertige Logik und Graham Priest · Mehr sehen »

Intuitionismus

Intuitionismus bezeichnet unterschiedliche philosophische, mathematische und teilweise auch psychologische Positionen, die der Intuition eine Priorität einräumen.

Neu!!: Dreiwertige Logik und Intuitionismus · Mehr sehen »

Jan Łukasiewicz

Jan Łukasiewicz 1935 Jan Łukasiewicz (* 21. Dezember 1878 in Lemberg; † 13. Februar 1956 in Dublin) war ein polnischer Philosoph, Mathematiker und Logiker.

Neu!!: Dreiwertige Logik und Jan Łukasiewicz · Mehr sehen »

Junktor

Ein Junktor (von lat. iungere „verknüpfen, verbinden“) ist eine logische Verknüpfung zwischen Aussagen innerhalb der Aussagenlogik, also ein logischer Operator.

Neu!!: Dreiwertige Logik und Junktor · Mehr sehen »

Klassische Logik

Unter der klassischen Logik versteht man ein logisches System, das die Aussagen-, die Prädikatenlogik erster oder höherer Stufe sowie im Allgemeinen den (logischen) Identitätsbegriff enthält.

Neu!!: Dreiwertige Logik und Klassische Logik · Mehr sehen »

Lügner-Paradox

Pinocchios Nase wächst bekanntlich genau dann, wenn er lügt. Was passiert aber, wenn er sagt „Meine Nase wächst gerade“? Ein Lügner-Paradox ist in der Philosophie bzw.

Neu!!: Dreiwertige Logik und Lügner-Paradox · Mehr sehen »

Mehrwertige Logik

Mehrwertige Logik ist ein Oberbegriff für alle logischen Systeme, die mehr als zwei Wahrheitswerte verwenden.

Neu!!: Dreiwertige Logik und Mehrwertige Logik · Mehr sehen »

Modus ponens

Der Modus ponens ist eine schon in der antiken Logik geläufige Schlussfigur, die in vielen logischen Systemen (siehe Logik, Kalkül) als Schlussregel verwendet wird.

Neu!!: Dreiwertige Logik und Modus ponens · Mehr sehen »

Nichtklassische Logik

Nichtklassische Logiken sind formale Systeme, die sich signifikant von den klassischen Logiksystemen wie der Aussagenlogik und der Prädikatenlogik unterscheiden.

Neu!!: Dreiwertige Logik und Nichtklassische Logik · Mehr sehen »

Prinzip der Zweiwertigkeit

Das Prinzip der Zweiwertigkeit, auch Bivalenzprinzip genannt, ist die Eigenschaft einer Logik, dass semantisch jeder Formel genau einer von zwei Wahrheitswerten zugewiesen wird.

Neu!!: Dreiwertige Logik und Prinzip der Zweiwertigkeit · Mehr sehen »

Schlussfolgerung

Schlussfolgerung, Schlussfolgern, Folgerung, Inferenz (aus „hineintragen“; „folgern“, „schließen“) oder Konklusion („Schlussfolgerung“) und Implikation sind in der Logik Bezeichnungen für mehrere eng miteinander verwandte Sachverhalte.

Neu!!: Dreiwertige Logik und Schlussfolgerung · Mehr sehen »

Stephen Cole Kleene

Kleene 1978 Stephen Cole Kleene (* 5. Januar 1909 in Hartford, Connecticut; † 25. Januar 1994 in Madison, Wisconsin) war ein US-amerikanischer Mathematiker und Logiker.

Neu!!: Dreiwertige Logik und Stephen Cole Kleene · Mehr sehen »

Subjunktion

B Subjunktion (lat. subiungere,unterordnen‘) oder Konditional (lat. condicio,Beschaffenheit, Zustand, Bedingung, Verfassung‘) oder auch materiale Implikation (lat. materia,das, woraus etwas besteht‘ und implicare,umfassen‘) wird in der Logik eine Aussage genannt, die mit dem Junktor „Wenn-dann“ aus zwei anderen Aussagen zusammengesetzt ist, zum Beispiel die Aussage „Wenn ein elektrischer Strom fließt, dann erwärmt sich die Leitung“.

Neu!!: Dreiwertige Logik und Subjunktion · Mehr sehen »

Susan Haack

Susan Haack Susan Haack (* 1945 in England) ist Professorin für Philosophie und Recht an der University of Miami.

Neu!!: Dreiwertige Logik und Susan Haack · Mehr sehen »

Tautologie (Logik)

Eine Tautologie (von ταὐτό t’autó „dasselbe“ und -logie), auch Verum („wahr“) genannt, ist in der Logik eine allgemein gültige Aussage, das heißt eine Aussage, die aus logischen Gründen immer wahr ist.

Neu!!: Dreiwertige Logik und Tautologie (Logik) · Mehr sehen »

Wahrheitswert

Ein Wahrheitswert ist in Logik und Mathematik ein logischer Wert, den eine Aussage in Bezug auf Wahrheit annehmen kann.

Neu!!: Dreiwertige Logik und Wahrheitswert · Mehr sehen »

Leitet hier um:

Ternäre Logik, Trinärlogik.

AusgehendeEingehende
Hallo! Wir sind auf Facebook! »