11 Beziehungen: Aussage (Logik), Aussagenlogik, Boolesche Algebra, De-morgansche Gesetze, Disjunktion, Implikation, Konjunktion (Logik), Kontradiktion, Negation, Negationsnormalform, Tautologie (Logik).
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!!: Dualität (Logik) 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!!: Dualität (Logik) 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!!: Dualität (Logik) 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!!: Dualität (Logik) und De-morgansche Gesetze · Mehr sehen »
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.
Neu!!: Dualität (Logik) und Disjunktion · Mehr sehen »
Implikation
Die Bezeichnung Implikation (von; Verb: implizieren; Adjektiv: implizit) wird in der Logik nicht einheitlich für einen bestimmten logischen Zusammenhang verwendet; insbesondere werden unterschieden.
Neu!!: Dualität (Logik) und Implikation · 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!!: Dualität (Logik) und Konjunktion (Logik) · Mehr sehen »
Kontradiktion
Eine Kontradiktion (aus, „gegen“ und, „das Sagen, Reden“; „Gegenrede, Widerspruch“) liegt in der Logik vor, wenn zwei Begriffe, Urteile oder Aussagen im Widerspruch zueinander stehen und eine gegenseitige Negation darstellen.
Neu!!: Dualität (Logik) und Kontradiktion · Mehr sehen »
Negation
Negation (von) ist Ablehnung, Verneinung oder Aufhebung; verneint werden können zum Beispiel Aussagen, abgelehnt werden können zum Beispiel moralische Werte, aufgehoben werden können zum Beispiel Konventionen.
Neu!!: Dualität (Logik) und Negation · Mehr sehen »
Negationsnormalform
Eine logische Formel ist in Negationsnormalform (NNF), falls die Negationsoperatoren in ihr nur direkt über atomaren Aussagen vorkommen.
Neu!!: Dualität (Logik) und Negationsnormalform · 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!!: Dualität (Logik) und Tautologie (Logik) · Mehr sehen »