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

Disjunktion

Index Disjunktion

Vereinigung von Mengen wird über die (nicht-ausschließende) Disjunktion definiert. OR-Gatter: Wenn Taster E1 '''oder''' E2 betätigt wird, leuchtet die Lampe. Dieses logische Oder umfasst auch den Fall, dass beide zugleich gedrückt werden. Disjunktion („Oder-Verknüpfung“, von lat. disiungere „trennen, unterscheiden, nicht vermengen“) und Adjunktion (von lat. adiungere, „anfügen, verbinden“) sind in der Logik die Bezeichnungen für zwei Typen von Aussagen, bei denen je zwei Aussagesätze durch ein ausschließendes oder oder durch ein nichtausschließendes oder verbunden sind.

27 Beziehungen: Assoziativgesetz, Aussage (Logik), Aussagenlogik, Boolesche Algebra, De-morgansche Gesetze, Disjunkt, Exklusiv-Oder-Gatter, Junktor, Kommutativgesetz, Konjunktion (Logik), Kontravalenz, Kuno Lorenz, Latein, Logik, Logikgatter, Mengenlehre, Niko Strobach, Oder (Begriffsklärung), Oder-Gatter, Polnische Notation, Principia Mathematica, Shefferscher Strich, Unicode, Wahrheit, Wahrheitstabelle, Wahrheitswertefunktion, XNOR-Gatter.

Assoziativgesetz

Bei assoziativen Verknüpfungen ist das Endergebnis dasselbe, auch wenn die Operationen in unterschiedlicher Reihenfolge ausgeführt werden. Das Assoziativgesetz, genauer die Assoziativität („vereinigen, verbinden, verknüpfen, vernetzen“), auf Deutsch Verknüpfbarkeit, ist in der Mathematik eine Eigenschaft mancher (meist zweistelligen) Verknüpfungen.

Neu!!: Disjunktion und Assoziativgesetz · Mehr sehen »

Aussage (Logik)

Eine Aussage im Sinn der aristotelischen Logik ist ein sprachliches Gebilde, von dem es sinnvoll ist, zu fragen, ob es wahr oder falsch ist (so genanntes Aristotelisches Zweiwertigkeitsprinzip).

Neu!!: Disjunktion und Aussage (Logik) · Mehr sehen »

Aussagenlogik

Die Aussagenlogik ist ein Teilgebiet der Logik, das sich mit Aussagen und deren Verknüpfung durch Junktoren befasst, ausgehend von strukturlosen Elementaraussagen (Atomen), denen ein Wahrheitswert zugeordnet wird.

Neu!!: Disjunktion und Aussagenlogik · Mehr sehen »

Boolesche Algebra

Venn-Diagramme für Konjunktion, Disjunktion und Ergänzung In der Mathematik ist eine boolesche Algebra (oder ein boolescher Verband) eine spezielle algebraische Struktur, die die Eigenschaften der logischen Operatoren UND, ODER, NICHT sowie die Eigenschaften der mengentheoretischen Verknüpfungen Durchschnitt, Vereinigung, Komplement verallgemeinert.

Neu!!: Disjunktion und Boolesche Algebra · Mehr sehen »

De-morgansche Gesetze

De-morgansches Gesetz mit Logikgattern dargestellt Die de-morganschen Gesetze (oft auch de-morgansche Regeln) sind zwei grundlegende Regeln für logische Aussagen.

Neu!!: Disjunktion und De-morgansche Gesetze · Mehr sehen »

Disjunkt

Zwei disjunkte Mengen In der Mengenlehre heißen zwei Mengen A und B disjunkt (‚getrennt‘), elementfremd oder durchschnittsfremd, wenn sie kein gemeinsames Element besitzen.

Neu!!: Disjunktion und Disjunkt · Mehr sehen »

Exklusiv-Oder-Gatter

Ein Exklusiv-Oder-Gatter, auch XOR-Gatter (von, „entweder oder“) ist ein Gatter (eine elektronische Schaltung) mit zwei Eingängen und einem Ausgang, bei dem der Ausgang logisch „1“ ist, wenn an nur einem Eingang „1“ anliegt und an dem anderen „0“.

Neu!!: Disjunktion und Exklusiv-Oder-Gatter · 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!!: Disjunktion und Junktor · Mehr sehen »

Kommutativgesetz

Das Kommutativgesetz, auf Deutsch Vertauschungsgesetz, ist eine Regel aus der Mathematik.

Neu!!: Disjunktion und Kommutativgesetz · Mehr sehen »

Konjunktion (Logik)

Schnitt von Mengen wird über die Konjunktion definiert AND-Gatter: Wenn die Taster E1 '''und''' E2 betätigt werden, leuchtet die Lampe. In der Logik wird als Konjunktion (von ‚verbinden‘) oder auch Und-Verknüpfung eine bestimmte Verknüpfung zweier Aussagen oder Aussagefunktionen bezeichnet.

Neu!!: Disjunktion und Konjunktion (Logik) · Mehr sehen »

Kontravalenz

Vereinigung mit ausgeschlossenem Schnitt. Kontravalenz bezeichnet in der klassischen Logik und Mathematik die Verbindung zweier Aussagen durch den zweistelligen Junktor entweder – oder, der auch exklusives Oder oder Kontravalentor heißt.

Neu!!: Disjunktion und Kontravalenz · Mehr sehen »

Kuno Lorenz

Kuno Lorenz Kuno Lorenz (* 17. September 1932 in Vachdorf, Thüringen) ist ein deutscher Philosoph.

Neu!!: Disjunktion und Kuno Lorenz · Mehr sehen »

Latein

Die lateinische Sprache (lateinisch lingua Latina), kurz Latein oder Lateinisch, ist eine indogermanische Sprache, die ursprünglich von den Latinern, den Bewohnern von Latium mit Rom als Zentrum, gesprochen wurde.

Neu!!: Disjunktion und Latein · Mehr sehen »

Logik

Mit Logik (von logikè téchnē ‚Kunst des Denkens‘, ‚Kunst des Argumentierens‘) wird im Allgemeinen das vernünftige Schlussfolgern und im Besonderen dessen Lehre – die Schlussfolgerungslehre oder auch Denklehre – bezeichnet.

Neu!!: Disjunktion und Logik · Mehr sehen »

Logikgatter

Ein Logikgatter, auch nur Gatter, (engl. (logic) gate) ist eine Anordnung (heutzutage praktisch immer eine elektronische Schaltung) zur Realisierung einer booleschen Funktion, die binäre Eingangssignale zu einem binären Ausgangssignal verarbeitet.

Neu!!: Disjunktion und Logikgatter · Mehr sehen »

Mengenlehre

Die Mengenlehre ist ein grundlegendes Teilgebiet der Mathematik, das sich mit der Untersuchung von Mengen, also von Zusammenfassungen von Objekten, beschäftigt.

Neu!!: Disjunktion und Mengenlehre · Mehr sehen »

Niko Strobach

Niko Strobach (* 1969 in Braunschweig) ist ein deutscher Philosoph.

Neu!!: Disjunktion und Niko Strobach · Mehr sehen »

Oder (Begriffsklärung)

Oder bezeichnet.

Neu!!: Disjunktion und Oder (Begriffsklärung) · Mehr sehen »

Oder-Gatter

Ein Oder-Gatter ist ein Gatter mit mehreren Eingängen und einem Ausgang, bei dem der Ausgang eine 1 liefert, wenn an mindestens einem Eingang eine 1 anliegt.

Neu!!: Disjunktion und Oder-Gatter · Mehr sehen »

Polnische Notation

Polnische Notation (PN), auch Normale Polnische Notation (NPN), Präfixnotation, Łukasiewicz-Notation oder Warschauer Normalform genannt, ist (in der Informatik und mathematischen Logik) eine klammerfreie Schreibweise für Formeln bzw.

Neu!!: Disjunktion und Polnische Notation · Mehr sehen »

Principia Mathematica

Titelseite der ''Principia Mathematica'' (Kurzausgabe bis *56) Principia Mathematica („mathematische Prinzipien“ bzw. „Mathematische Grundlagen“) ist ein Werk in drei Bänden über die Grundlagen der Mathematik von Bertrand Russell und Alfred North Whitehead, erstmals erschienen zwischen 1910 und 1913.

Neu!!: Disjunktion und Principia Mathematica · Mehr sehen »

Shefferscher Strich

''und''.Im rot markierten Bereich ist die Funktion wahr, also genau da, wo ''und'' falsch ist. Der Sheffersche Strich (auch Sheffer-Strich, Sheffer-Funktion, Sheffer-Operator oder; nach Henry Maurice Sheffer benannt) bzw.

Neu!!: Disjunktion und Shefferscher Strich · Mehr sehen »

Unicode

Logo von Unicode Der Unicode-Standard (Aussprachen: amerikanisches Englisch, britisches Englisch; dt.) legt fest, wie Schrift elektronisch gespeichert wird, z. B.

Neu!!: Disjunktion und Unicode · Mehr sehen »

Wahrheit

Walter Seymour Allward, ''Veritas'' (lateinisch für „Wahrheit“), 1920 Der Begriff der Wahrheit wird in verschiedenen Zusammenhängen gebraucht und unterschiedlich gefasst.

Neu!!: Disjunktion und Wahrheit · Mehr sehen »

Wahrheitstabelle

Animation zur Erstellung einer Wahrheitstafel Eine Wahrheitstabelle oder Wahrheitstafel, auch Wahrheitswert-Tabelle oder Wahrheitsmatrix genannt, ist eine tabellarische Aufstellung des Wahrheitswertverlaufs einer logischen Aussage.

Neu!!: Disjunktion und Wahrheitstabelle · Mehr sehen »

Wahrheitswertefunktion

Eine Wahrheitswertefunktion, auch kurz Wahrheitsfunktion, ist eine mathematische Funktion, die Wahrheitswerte auf Wahrheitswerte abbildet.

Neu!!: Disjunktion und Wahrheitswertefunktion · Mehr sehen »

XNOR-Gatter

Ein XNOR-Gatter (engl. eXclusive NOT OR) ist ein Logikgatter, bei dem am Ausgang eine logische „1“ anliegt, wenn an einer geraden Anzahl von Eingängen „1“ anliegt und an den restlichen „0“.

Neu!!: Disjunktion und XNOR-Gatter · Mehr sehen »

Leitet hier um:

Adjunktion (Logik), Disjunktor, Logisches Oder, ODER, .

AusgehendeEingehende
Hallo! Wir sind auf Facebook! »