Schneller Zugriff als Browser!
110 Beziehungen: Ableitung (Logik), Abstrakte Algebra, Abzählbare Menge, Alphabet (Informatik), Ansgar Beckermann, Argument, Aristoteles, Aussage, Axiom, Baumkalkül, Begriffsschrift, Bertrand Russell, Beweis (Mathematik), Bikonditional, Boolesche Algebra, Brute-Force-Methode, Christian Spannagel, Chrysippos von Soloi, Diodoros Kronos, Disjunkt, Disjunktion, Disjunktive Normalform, Elementarsatz, Entscheidbar, Erfüllbarkeitsproblem der Aussagenlogik, Ex falso quodlibet, Existential Graphs, Exklusiv-Oder-Gatter, Extensionalitätsprinzip, Formales System, Formalismus (Mathematik), Fuzzylogik, Gödelscher Unvollständigkeitssatz, George Boole, Gottfried Wilhelm Leibniz, Gottlob Frege, Grundlagenkrise der Mathematik, Hamburg, Hilbert-Kalkül, Horn-Formel, Implikation, Informatik, Junktor, Kalkül, Karel Berka, Küchenlatein, Klassische Logik, Komplexitätstheorie, Konjunktion (Logik), Konjunktive Normalform, ..., Konstruktivismus (Philosophie), Kontradiktion, Korrektheit (Logik), Kurt Gödel, Logik, Logische Äquivalenz, Logischer Operator, Mathematik, München, Mehrwertige Logik, Menge (Mathematik), Mengenlehre, Metaphysik, Metasprache, Modallogik, Modus ponens, Modus tollens, Negation, NOR-Gatter, Notation, NP-Vollständigkeit, P-NP-Problem, Paradoxon, Parakonsistente Logik, Philon von Megara, Philosophie, Platonismus, Positive Formulierung, Positivismus, Prädikatenlogik, Prämisse, Principia Mathematica, Prinzip der Zweiwertigkeit, Prolog (Programmiersprache), Quadratzahl, Rüdiger Inhetveen, Reductio ad absurdum, Resolution (Logik), Satz vom ausgeschlossenen Dritten, Satz vom Widerspruch, Schaltalgebra, Schlussfolgerung, Schlussregel, Semantik, Semantische Folgerung, Sequenzenkalkül, Shefferscher Strich, Sophisten, Sprachwissenschaft, Strukturelle Induktion, Syntax, Systeme natürlichen Schließens, Tautologie (Logik), Vollständigkeit (Logik), Wahrheitstabelle, Wahrheitswert, Wesley C. Salmon, Wilfrid Hodges, Wissenschaftstheorie, Wolfgang Detel. Erweitern Sie Index (60 mehr) »
Ableitung (Logik)
Eine Ableitung, Herleitung, oder Deduktion ist in der Logik die Gewinnung von Aussagen aus anderen Aussagen.
Neu!!: Aussagenlogik und Ableitung (Logik) · Mehr sehen »
Abstrakte Algebra
Die Abstrakte Algebra ist das Teilgebiet der Mathematik, das sich mit einzelnen algebraischen Strukturen wie Gruppen, Ringen, Körpern, Moduln und nicht zuletzt den Algebren beschäftigt und deren Eigenschaften untersucht.
Neu!!: Aussagenlogik und Abstrakte Algebra · Mehr sehen »
Abzählbare Menge
In der Mengenlehre wird eine Menge A als abzählbar unendlich bezeichnet, wenn sie die gleiche Mächtigkeit hat wie die Menge der natürlichen Zahlen \mathbb.
Neu!!: Aussagenlogik und Abzählbare Menge · Mehr sehen »
Alphabet (Informatik)
In der Informatik und der mathematischen Logik ist ein Alphabet eine endliche Menge voneinander unterscheidbarer Symbole, die auch Zeichen oder Buchstaben genannt werden.
Neu!!: Aussagenlogik und Alphabet (Informatik) · Mehr sehen »
Ansgar Beckermann
Ansgar Beckermann (* 20. Juni 1945 in Hamburg) ist ein deutscher Philosoph und einer der Hauptvertreter der Philosophie des Geistes in Deutschland.
Neu!!: Aussagenlogik und Ansgar Beckermann · Mehr sehen »
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!!: Aussagenlogik und Argument · Mehr sehen »
Aristoteles
Aristoteles (Betonung lateinisch und deutsch: Aristóteles; * 384 v. Chr. in Stageira; † 322 v. Chr. in Chalkis auf Euböa) war ein griechischer Universalgelehrter.
Neu!!: Aussagenlogik und Aristoteles · Mehr sehen »
Aussage
Der Ausdruck Aussage ist mehrdeutig.
Neu!!: Aussagenlogik und Aussage · Mehr sehen »
Axiom
Ein Axiom (von griechisch ἀξίωμα axíoma, „Forderung; Wille; Beschluss; Grundsatz; philos. (...) Satz, der keines Beweises bedarf“, „Wertschätzung, Urteil, als wahr angenommener Grundsatz“) ist ein Grundsatz einer Theorie, einer Wissenschaft oder eines axiomatischen Systems, der innerhalb dieses Systems weder begründet noch deduktiv abgeleitet, sondern als Grundlage willentlich akzeptiert oder gesetzt wird.
Neu!!: Aussagenlogik und Axiom · Mehr sehen »
Baumkalkül
Baumkalküle oder Tableaukalküle, nach ihrem Erfinder auch Beth-Kalküle genannt, sind Widerlegungskalküle der Logik.
Neu!!: Aussagenlogik und Baumkalkül · Mehr sehen »
Begriffsschrift
Das Titelblatt der ''Begriffsschrift'' Die Begriffsschrift ist ein schmales, nur etwa achtzig Seiten umfassendes Buch des Jenaer Mathematikers und Philosophen Gottlob Frege zur Logik.
Neu!!: Aussagenlogik und Begriffsschrift · Mehr sehen »
Bertrand Russell
Bertrand Russell (1957) Bertrand Arthur William Russell, 3.
Neu!!: Aussagenlogik und Bertrand Russell · Mehr sehen »
Beweis (Mathematik)
Beispielhafter, schematischer Aufbau eines Beweises Ein Beweis ist in der Mathematik die als fehlerfrei anerkannte Herleitung der Richtigkeit bzw.
Neu!!: Aussagenlogik und Beweis (Mathematik) · Mehr sehen »
Bikonditional
beide“. Dem entsprechen die roten Bereiche außerhalb und innerhalb beider Kreise. Als Bikonditional, Bisubjunktion oder materiale Äquivalenz, manchmal (aber mehrdeutig) einfach nur Äquivalenz bezeichnet man.
Neu!!: Aussagenlogik und Bikonditional · 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!!: Aussagenlogik und Boolesche Algebra · Mehr sehen »
Brute-Force-Methode
Die Brute-Force-Methode (von ‚rohe Gewalt‘) bzw.
Neu!!: Aussagenlogik und Brute-Force-Methode · Mehr sehen »
Christian Spannagel
Christian Spannagel (2020) Christian Spannagel (* 10. November 1976 in Rüsselsheim am Main) ist ein deutscher Informatiker und Professor für Mathematik und Mathematikdidaktik an der Pädagogischen Hochschule Heidelberg.
Neu!!: Aussagenlogik und Christian Spannagel · Mehr sehen »
Chrysippos von Soloi
right Im Museum für Abgüsse Klassischer Bildwerke befindet sich eine Rekonstruktion der Sitzstatue des Chrysipp. Chrysippos von Soloi (* 281/276 v. Chr. in Soloi in Kilikien; † 208/204 v. Chr. wahrscheinlich in Athen), im Deutschen üblicherweise Chrysipp genannt, war ein griechischer Philosoph, der nach dem Tod seines Lehrers Kleanthes 232/231 v. Chr.
Neu!!: Aussagenlogik und Chrysippos von Soloi · Mehr sehen »
Diodoros Kronos
Diodoros Kronos (altgriechisch Διόδωρος Κρόνος Diódōros Krónos, latinisiert Diodorus Cronus; * im 4. Jahrhundert v. Chr. in Iasos; † um 284 v. Chr. vermutlich in Alexandria) war ein griechischer Philosoph der Antike.
Neu!!: Aussagenlogik und Diodoros Kronos · 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!!: Aussagenlogik und Disjunkt · 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!!: Aussagenlogik und Disjunktion · Mehr sehen »
Disjunktive Normalform
Als disjunktive Normalform (kurz DNF) wird in der Booleschen Algebra eine in besonderer Weise normierte Funktionsdarstellung Boolescher Funktionen bezeichnet.
Neu!!: Aussagenlogik und Disjunktive Normalform · Mehr sehen »
Elementarsatz
Der Ausdruck Elementarsatz wird vor allem mit Ludwig Wittgensteins Sprachphilosophie verbunden und, teils mit etwas anderer Bedeutung, auch von anderen Vertretern des logischen Empirismus bzw.
Neu!!: Aussagenlogik und Elementarsatz · Mehr sehen »
Entscheidbar
In der theoretischen Informatik heißt eine Eigenschaft auf einer Menge entscheidbar (auch rekursiv, rekursiv ableitbar), wenn es ein Entscheidungsverfahren für sie gibt.
Neu!!: Aussagenlogik und Entscheidbar · Mehr sehen »
Erfüllbarkeitsproblem der Aussagenlogik
Das Erfüllbarkeitsproblem der Aussagenlogik (SAT, von ‚ Erfüllbarkeit‘) ist ein Entscheidungsproblem der theoretischen Informatik.
Neu!!: Aussagenlogik und Erfüllbarkeitsproblem der Aussagenlogik · 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!!: Aussagenlogik und Ex falso quodlibet · Mehr sehen »
Existential Graphs
Existential Graphs (die deutschen Übersetzungen „existenzielle Graphen“ und „Existenzgraphen“ sind nicht sehr gebräuchlich) sind ein logisches System des US-amerikanischen Logikers und Philosophen Charles Sanders Peirce.
Neu!!: Aussagenlogik und Existential Graphs · 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!!: Aussagenlogik und Exklusiv-Oder-Gatter · Mehr sehen »
Extensionalitätsprinzip
Mit Extensionalitätsprinzip ist meist eine Eigenschaft einer künstlichen oder natürlichen Sprache gemeint.
Neu!!: Aussagenlogik und Extensionalitätsprinzip · Mehr sehen »
Formales System
Ein formales System ist ein System von Symbolketten und Regeln.
Neu!!: Aussagenlogik und Formales System · Mehr sehen »
Formalismus (Mathematik)
Der Formalismus ist eine von David Hilbert gegründete Schulrichtung in der Philosophie der Mathematik bzgl.
Neu!!: Aussagenlogik und Formalismus (Mathematik) · Mehr sehen »
Fuzzylogik
Fuzzylogik einer Temperaturregelung Fuzzylogik (‚verwischt‘, ‚verschwommen‘, ‚unbestimmt‘; fuzzy logic, fuzzy theory ‚unscharfe Logik‘ bzw. ‚unscharfe Theorie‘) oder Unschärfelogik ist eine Theorie, welche in der Mustererkennung zur „präzisen Erfassung des Unpräzisen“ (Zadeh) entwickelt wurde, sodann der Modellierung von Unschärfe von umgangssprachlichen Beschreibungen von Systemen dienen sollte, heute aber überwiegend in angewandten Bereichen wie etwa der Regelungstechnik eine Rolle spielt.
Neu!!: Aussagenlogik und Fuzzylogik · Mehr sehen »
Gödelscher Unvollständigkeitssatz
Der Gödelsche Unvollständigkeitssatz ist einer der wichtigsten Sätze der modernen Logik.
Neu!!: Aussagenlogik und Gödelscher Unvollständigkeitssatz · Mehr sehen »
George Boole
George Boole (um 1860) George Boole (* 2. November 1815 in Lincoln, England; † 8. Dezember 1864 in Ballintemple, in der Grafschaft Cork, Irland) war ein englischer Mathematiker (Autodidakt), Logiker und Philosoph.
Neu!!: Aussagenlogik und George Boole · Mehr sehen »
Gottfried Wilhelm Leibniz
Unterschrift von Gottfried Wilhelm Leibniz Alma Mater lipsiensis in den Neuen Campus der Universität Leipzig umgesetzt Gottfried Wilhelm Leibniz (* in Leipzig, Kurfürstentum Sachsen; † 14. November 1716 in Hannover, Kurfürstentum Braunschweig-Lüneburg) war ein deutscher Philosoph, Mathematiker, Jurist, Historiker und politischer Berater der frühen Aufklärung.
Neu!!: Aussagenlogik und Gottfried Wilhelm Leibniz · Mehr sehen »
Gottlob Frege
Gottlob Frege (1878) Friedrich Ludwig Gottlob Frege (* 8. November 1848 in Wismar; † 26. Juli 1925 in Bad Kleinen) war ein deutscher Logiker, Mathematiker und Philosoph.
Neu!!: Aussagenlogik und Gottlob Frege · Mehr sehen »
Grundlagenkrise der Mathematik
Die Grundlagenkrise der Mathematik war eine Phase der Verunsicherung der mathematischen Öffentlichkeit zu Anfang des 20.
Neu!!: Aussagenlogik und Grundlagenkrise der Mathematik · Mehr sehen »
Hamburg
Vorlage:Infobox Bundesland wie bei den anderen Bundesländern Deutschlands: siehe Diskussion --> Hamburg (regiolektal auch, dialektal), amtlich Freie und Hansestadt Hamburg (Ländercode HH), ist als Stadtstaat ein Land der Bundesrepublik Deutschland.
Neu!!: Aussagenlogik und Hamburg · Mehr sehen »
Hilbert-Kalkül
Hilbertkalküle sind axiomatische Kalküle für die klassische Aussagenlogik oder die Prädikatenlogik erster Stufe, das heißt Kalküle, in denen sich Theoreme und Argumente der Aussagenlogik oder der Prädikatenlogik erster Stufe herleiten lassen.
Neu!!: Aussagenlogik und Hilbert-Kalkül · Mehr sehen »
Horn-Formel
Horn-Formeln sind eine wichtige Art prädikatenlogischer Formeln.
Neu!!: Aussagenlogik und Horn-Formel · 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!!: Aussagenlogik und Implikation · Mehr sehen »
Informatik
Lambda lc.svg Sorting quicksort anim frame.svg Utah teapot simple 2.png 3-Tasten-Maus Microsoft.jpg Bei der Informatik handelt es sich um die Wissenschaft von der systematischen Darstellung, Speicherung, Verarbeitung und Übertragung von Daten, wobei besonders die automatische Verarbeitung mit Computern betrachtet wird.
Neu!!: Aussagenlogik und Informatik · 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!!: Aussagenlogik und Junktor · Mehr sehen »
Kalkül
Als der oder das Kalkül („Rechnung“; von „Rechenstein“, „Spielstein“) versteht man in den formalen Wissenschaften wie Logik und Mathematik ein formales System von Regeln, mit denen sich aus gegebenen Aussagen (Axiomen) weitere Aussagen ableiten lassen.
Neu!!: Aussagenlogik und Kalkül · Mehr sehen »
Karel Berka
Karel Berka (* 4. Mai 1923 in Břeclav; † 24. November 2004; Pseudonym: Kurt Bermann) war ein tschechischer Philosoph.
Neu!!: Aussagenlogik und Karel Berka · Mehr sehen »
Küchenlatein
zoologische Nomenklatur an einem Müllsammelfahrzeug der Berliner Stadtreinigungsbetriebe (2017) Küchenlatein (latinitas culinaria) ist im ursprünglichen, engeren Sinne eine spöttische Bezeichnung aus der Zeit des Humanismus für ein als „schlecht“ oder „barbarisch“ geltendes Latein.
Neu!!: Aussagenlogik und Küchenlatein · 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!!: Aussagenlogik und Klassische Logik · Mehr sehen »
Komplexitätstheorie
Die Komplexitätstheorie als Teilgebiet der theoretischen Informatik befasst sich mit der Komplexität algorithmisch behandelbarer Probleme auf verschiedenen formalen Rechnermodellen.
Neu!!: Aussagenlogik und Komplexitätstheorie · 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!!: Aussagenlogik und Konjunktion (Logik) · Mehr sehen »
Konjunktive Normalform
Als konjunktive Normalform (kurz KNF, für conjunctive normal form) wird in der Aussagenlogik eine bestimmte Form von Formeln bezeichnet.
Neu!!: Aussagenlogik und Konjunktive Normalform · Mehr sehen »
Konstruktivismus (Philosophie)
Konstruktivismus ist eine Position der Erkenntnistheorie, entwickelt hauptsächlich in der Philosophie des 20. Jahrhunderts.
Neu!!: Aussagenlogik und Konstruktivismus (Philosophie) · 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!!: Aussagenlogik und Kontradiktion · Mehr sehen »
Korrektheit (Logik)
Korrektheit ist eine wichtige Eigenschaft formaler Systeme oder Kalküle und betrifft den Zusammenhang zwischen Syntax und Semantik, der umgangssprachlich lautet: Was formal ableitbar ist, ist auch wahr, soweit die Prämissen der Ableitung wahr sind.
Neu!!: Aussagenlogik und Korrektheit (Logik) · Mehr sehen »
Kurt Gödel
rahmenlos Kurt Friedrich Gödel (* 28. April 1906 in Brünn, Österreich-Ungarn, heute Tschechien; † 14. Januar 1978 in Princeton, New Jersey, Vereinigte Staaten) war ein österreichischer und später US-amerikanischer Mathematiker, Philosoph und einer der bedeutendsten Logiker des 20. Jahrhunderts.
Neu!!: Aussagenlogik und Kurt Gödel · 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!!: Aussagenlogik und Logik · Mehr sehen »
Logische Äquivalenz
Eine logische Äquivalenz liegt vor, wenn zwei logische Ausdrücke den gleichen Wahrheitswert besitzen.
Neu!!: Aussagenlogik und Logische Äquivalenz · Mehr sehen »
Logischer Operator
Ein Logischer Operator ist eine Funktion, die einen Wahrheitswert liefert.
Neu!!: Aussagenlogik und Logischer Operator · Mehr sehen »
Mathematik
Die Mathematik (bundesdeutsches Hochdeutsch:,; österreichisches Hochdeutsch:; mathēmatikē téchnē ‚die Kunst des Lernens‘) ist eine Formalwissenschaft, die aus der Untersuchung von geometrischen Figuren und dem Rechnen mit Zahlen entstand.
Neu!!: Aussagenlogik und Mathematik · Mehr sehen »
München
Frauenkirche und Viktualienmarkt Heilig-Geist-Kirche Olympiapark) Luftbild des Münchner Zentrums (Blick nach Osten) Blick über die Ludwigstraße nach Norden auf die Highlight Towers in Schwabing München (standarddeutsch oder) ist die Landeshauptstadt des Freistaates Bayern.
Neu!!: Aussagenlogik und München · Mehr sehen »
Mehrwertige Logik
Mehrwertige Logik ist ein Oberbegriff für alle logischen Systeme, die mehr als zwei Wahrheitswerte verwenden.
Neu!!: Aussagenlogik und Mehrwertige Logik · Mehr sehen »
Menge (Mathematik)
Symbolische Darstellung einer Menge von Vielecken leer. Als Menge wird in der Mathematik ein abstraktes Objekt bezeichnet, das aus der Zusammenfassung einer Anzahl einzelner Objekte hervorgeht.
Neu!!: Aussagenlogik und Menge (Mathematik) · 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!!: Aussagenlogik und Mengenlehre · Mehr sehen »
Metaphysik
''Was sind die letzten Ursachen und Prinzipien der Welt?'' – Holzschnitt aus Camille Flammarions ''L’Atmosphère'' (1888) (Flammarions Holzstich) Die Metaphysik (‚danach‘, ‚hinter‘, ‚jenseits‘ und φύσις phýsis ‚Natur‘, ‚natürliche Beschaffenheit‘) ist eine Grunddisziplin der Philosophie.
Neu!!: Aussagenlogik und Metaphysik · Mehr sehen »
Metasprache
Eine Metasprache ist eine „Sprache über Sprache“.
Neu!!: Aussagenlogik und Metasprache · Mehr sehen »
Modallogik
Die Modallogik ist derjenige Zweig der Logik, der sich mit den Folgerungen um die Modalbegriffe möglich und notwendig befasst.
Neu!!: Aussagenlogik und Modallogik · 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!!: Aussagenlogik und Modus ponens · Mehr sehen »
Modus tollens
Modus tollens (lateinisch für „Modus des Aufhebens“, wörtlich: „aufhebender Modus“), eigentlich Modus tollendo tollens (in Abgrenzung zum Modus ponendo tollens), ist eine Schlussfigur, die in etlichen Kalkülen der klassischen Logik als Schlussregel verwendet wird.
Neu!!: Aussagenlogik und Modus tollens · 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!!: Aussagenlogik und Negation · Mehr sehen »
NOR-Gatter
Ein NOR-Gatter (von englisch: not or – nicht oder, oder von englisch nor – (weder … noch …)), auch Peirce-Funktion nach Charles S. Peirce genannt, ist ein Logikgatter mit zwei oder mehr Eingängen A, B, … und einem Ausgang Y, zwischen denen die logische Verknüpfung NICHT ODER besteht.
Neu!!: Aussagenlogik und NOR-Gatter · Mehr sehen »
Notation
Notation ist die Benennung von Gegenständen durch das Festhalten (qualitative und quantitative Repräsentation) von Dingen und Bewegungsverläufen in schriftlicher Form mit vereinbarten symbolischen Zeichen.
Neu!!: Aussagenlogik und Notation · Mehr sehen »
NP-Vollständigkeit
NP-schweren und NP-vollständigen Probleme. In der Informatik bezeichnet man ein Problem als NP-vollständig (vollständig für die Klasse der Probleme, die sich nichtdeterministisch in Polynomialzeit lösen lassen), wenn es zu den schwierigsten Problemen in der Klasse NP gehört, also sowohl in NP liegt als auch NP-schwer ist.
Neu!!: Aussagenlogik und NP-Vollständigkeit · Mehr sehen »
P-NP-Problem
Das P-NP-Problem (auch P≟NP, P versus NP) ist ein ungelöstes Problem der Komplexitätstheorie in der theoretischen Informatik.
Neu!!: Aussagenlogik und P-NP-Problem · Mehr sehen »
Paradoxon
Das Penrose-Dreieck erweckt den Anschein, es handele sich um eine geschlossene dreidimensionale Struktur aus drei rechten Winkeln, was in der euklidischen Geometrie jedoch unmöglich ist. Ein Paradoxon (sächlich; Plural Paradoxa; auch das Paradox oder die Paradoxie, Plural Paradoxe bzw. Paradoxien; vom altgriechischen Adjektiv parádoxos „wider Erwarten, wider die gewöhnliche Meinung, unerwartet, unglaublich“) ist ein Befund, eine Aussage oder Erscheinung, die dem allgemein Erwarteten, der herrschenden Meinung oder Ähnlichem auf unerwartete Weise zuwiderläuft oder beim üblichen Verständnis der betroffenen Gegenstände bzw.
Neu!!: Aussagenlogik und Paradoxon · Mehr sehen »
Parakonsistente Logik
Unter Parakonsistenten Logiken und Parainkonsistenten Logiken versteht man Kalküle, in denen der logische Grundsatz ex contradictione sequitur quodlibet (lat. für „aus einem Widerspruch folgt Beliebiges“) nicht gilt, in denen es also nicht möglich ist, aus zwei widersprüchlichen Aussagen A, \neg A oder aus einem Widerspruch A \wedge \neg A jede beliebige Aussage herzuleiten.
Neu!!: Aussagenlogik und Parakonsistente Logik · Mehr sehen »
Philon von Megara
Philon von Megara (latinisiert Philo) war ein griechischer antiker Philosoph.
Neu!!: Aussagenlogik und Philon von Megara · Mehr sehen »
Philosophie
Raffaels Schule von Athen mit den idealisierten Darstellungen der Gründerväter der abendländischen Philosophie. Obwohl seit Platon vor allem eine Sache der schriftlichen Abhandlung, ist das angeregte Gespräch bis heute ein wichtiger Bestandteil des philosophischen Lebens. In der Philosophie (philosophía, latinisiert philosophia, wörtlich „Liebe zur Weisheit“) wird versucht, die Welt und die menschliche Existenz zu ergründen, zu deuten und zu verstehen.
Neu!!: Aussagenlogik und Philosophie · Mehr sehen »
Platonismus
Platonismus und Platoniker (Anhänger des Platonismus) sind Begriffe, die in verschiedenen Bedeutungen verwendet werden.
Neu!!: Aussagenlogik und Platonismus · Mehr sehen »
Positive Formulierung
Als positive Formulierung bezeichnet man die Beschreibung von Wünschen oder Zielen als Annäherungsziel, ohne dabei eine Verneinung (Negation) zu verwenden.
Neu!!: Aussagenlogik und Positive Formulierung · Mehr sehen »
Positivismus
Der Positivismus ist eine Richtung in der Philosophie, die fordert, dass Erkenntnisse, die den Charakter von Wissen beanspruchen, auf die Interpretation von „positiven“, d. h.
Neu!!: Aussagenlogik und Positivismus · Mehr sehen »
Prädikatenlogik
Die Prädikatenlogiken (auch Quantorenlogiken) bilden eine Familie logischer Systeme, die es erlauben, in der Praxis und in der Theorie vieler Wissenschaften wichtige Bereiche durch Argumente zu formalisieren und sie auf ihre Gültigkeit zu überprüfen.
Neu!!: Aussagenlogik und Prädikatenlogik · Mehr sehen »
Prämisse
Beispiel aus Syllogismus Als Prämisse (lat. praemissa „das Vorausgeschickte“) oder Vordersatz bezeichnet man in der Logik eine Voraussetzung oder Annahme.
Neu!!: Aussagenlogik und Prämisse · 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!!: Aussagenlogik und Principia Mathematica · 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!!: Aussagenlogik und Prinzip der Zweiwertigkeit · Mehr sehen »
Prolog (Programmiersprache)
Prolog (vom Französischen: programmation en logique, dt.: „Programmieren in Logik“) ist eine Programmiersprache, die Anfang der 1970er-Jahre maßgeblich von dem französischen Informatiker Alain Colmerauer entwickelt wurde und ein deklaratives Programmieren ermöglicht.
Neu!!: Aussagenlogik und Prolog (Programmiersprache) · Mehr sehen »
Quadratzahl
16 Kugeln bilden ein Quadrat. Eine Quadratzahl oder Viereckszahl ist eine Zahl, die durch Quadrieren einer ganzen Zahl, also die Multiplikation einer solchen mit sich selbst, entsteht.
Neu!!: Aussagenlogik und Quadratzahl · Mehr sehen »
Rüdiger Inhetveen
Rüdiger Inhetveen (* 1943) ist ein deutscher Philosoph.
Neu!!: Aussagenlogik und Rüdiger Inhetveen · Mehr sehen »
Reductio ad absurdum
Die Reductio ad absurdum (von lat. für Zurückführung auf das widrig Klingende, Ungereimte, Unpassende, Sinnlose) ist eine Schlussfigur und Beweistechnik in der Logik.
Neu!!: Aussagenlogik und Reductio ad absurdum · Mehr sehen »
Resolution (Logik)
Die Resolution ist ein Verfahren der formalen Logik, um eine logische Formel auf Gültigkeit zu testen.
Neu!!: Aussagenlogik und Resolution (Logik) · Mehr sehen »
Satz vom ausgeschlossenen Dritten
Der Satz vom ausgeschlossenen Dritten (wörtlich „ein Drittes ist nicht gegeben“ oder „ein Drittes gibt es nicht“;, LEM) oder Prinzip des zwischen zwei kontradiktorischen Gegensätzen stehenden ausgeschlossenen Mittleren (lat. principium exclusi tertii sive medii inter duo contradictoria) ist ein logisches Grundprinzip und Axiom, das besagt, dass für eine beliebige Aussage nur die Aussage selbst oder ihr (komplementäres) Gegenteil gelten kann; eine dritte Möglichkeit, also dass lediglich etwas Mittleres gilt, das weder die Aussage ist noch ihr Gegenteil, sondern irgendetwas dazwischen, kann es nicht geben.
Neu!!: Aussagenlogik und Satz vom ausgeschlossenen Dritten · Mehr sehen »
Satz vom Widerspruch
Der Satz vom Widerspruch oder Satz vom ausgeschlossenen Widerspruch besagt, dass zwei einander in derselben Hinsicht widersprechende Aussagen nicht zugleich zutreffen können.
Neu!!: Aussagenlogik und Satz vom Widerspruch · Mehr sehen »
Schaltalgebra
Die Schaltalgebra ist eine spezielle Ausprägung der Booleschen Algebra mit einer zweiwertigen Trägermenge.
Neu!!: Aussagenlogik und Schaltalgebra · 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!!: Aussagenlogik und Schlussfolgerung · Mehr sehen »
Schlussregel
Eine Schlussregel (oder Inferenzregel) bezeichnet eine Transformationsregel (Umformungsregel) in einem Kalkül der formalen Logik, d. h.
Neu!!: Aussagenlogik und Schlussregel · Mehr sehen »
Semantik
Semantik (von), auch Bedeutungslehre genannt, ist die wissenschaftliche Beschäftigung mit Bedeutung und mit den verschiedenen Beziehungen zwischen einem Zeichen und dem Bezeichneten.
Neu!!: Aussagenlogik und Semantik · Mehr sehen »
Semantische Folgerung
Der Begriff der semantischen Folgerung ist in der Modelltheorie eine Form der Implikation.
Neu!!: Aussagenlogik und Semantische Folgerung · Mehr sehen »
Sequenzenkalkül
In der Beweistheorie und der mathematischen Logik bezeichnet man mit Sequenzenkalkül formale Systeme (oder Kalküle), die einen bestimmten Stil der Ableitung und gewisse Eigenschaften teilen.
Neu!!: Aussagenlogik und Sequenzenkalkül · 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!!: Aussagenlogik und Shefferscher Strich · Mehr sehen »
Sophisten
Demokrit und Protagoras im Historienbild ''Démocrite et Protagoras'' von Salvator Rosa Als Sophisten wird eine Gruppe von Männern aus der griechischen Antike bezeichnet, die über besondere Kenntnisse auf theoretischem (Mathematik und Geometrie) oder praktischem Gebiet (Handwerk, Musik, Dichtung) verfügten, im engeren Sinne vor allem Didaktiker und Rhetoriker, die mit dem Vermitteln ihrer Kenntnisse ihren Lebensunterhalt verdienten.
Neu!!: Aussagenlogik und Sophisten · Mehr sehen »
Sprachwissenschaft
Sprachwissenschaft, auch Linguistik (zu ‚Zunge‘, ‚Sprache‘), untersucht in verschiedenen Herangehensweisen die menschliche Sprache.
Neu!!: Aussagenlogik und Sprachwissenschaft · Mehr sehen »
Strukturelle Induktion
Die strukturelle Induktion ist ein Beweisverfahren, das unter anderem in der Logik, der theoretischen Informatik und der Graphentheorie eingesetzt wird.
Neu!!: Aussagenlogik und Strukturelle Induktion · Mehr sehen »
Syntax
Unter Syntax (von syn ‚zusammen‘ und taxis ‚Ordnung, Reihenfolge‘) versteht man allgemein ein Regelsystem zur Kombination elementarer Zeichen zu zusammengesetzten Zeichen in natürlichen oder künstlichen Zeichensystemen.
Neu!!: Aussagenlogik und Syntax · Mehr sehen »
Systeme natürlichen Schließens
Systeme (oder Kalküle) natürlichen Schließens bezeichnen in der mathematischen und philosophischen Logik einen Kalkültyp, der 1934 von Gerhard Gentzen und etwa zeitgleich von Stanisław Jaśkowski – einem Vertreter der Lemberg-Warschau-Schule – entwickelt wurde.
Neu!!: Aussagenlogik und Systeme natürlichen Schließens · 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!!: Aussagenlogik und Tautologie (Logik) · Mehr sehen »
Vollständigkeit (Logik)
Der Begriff Vollständigkeit hat in der Logik verschiedene Bedeutungen.
Neu!!: Aussagenlogik und Vollständigkeit (Logik) · 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!!: Aussagenlogik und Wahrheitstabelle · Mehr sehen »
Wahrheitswert
Ein Wahrheitswert ist in Logik und Mathematik ein logischer Wert, den eine Aussage in Bezug auf Wahrheit annehmen kann.
Neu!!: Aussagenlogik und Wahrheitswert · Mehr sehen »
Wesley C. Salmon
Wesley C. Salmon (* 9. August 1925; † 22. April 2001) war ein US-amerikanischer Philosoph und Wissenschaftstheoretiker, bekannt für seine Arbeit über Modelle der wissenschaftlichen Erklärung.
Neu!!: Aussagenlogik und Wesley C. Salmon · Mehr sehen »
Wilfrid Hodges
Wilfrid Augustine Hodges (* 27. Mai 1941) ist ein britischer Logiker, der sich unter anderem mit Modelltheorie und Universeller Algebra beschäftigt.
Neu!!: Aussagenlogik und Wilfrid Hodges · Mehr sehen »
Wissenschaftstheorie
Die Wissenschaftstheorie (auch Wissenschaftsphilosophie, Wissenschaftslehre oder Wissenschaftslogik) ist ein Teilgebiet der Philosophie, das sich mit den Voraussetzungen, Methoden und Zielen von Wissenschaft und ihrer Form der Erkenntnisgewinnung beschäftigt.
Neu!!: Aussagenlogik und Wissenschaftstheorie · Mehr sehen »
Wolfgang Detel
Wolfgang Detel (* 1942) ist ein deutscher Philosoph und emeritierter Inhaber des Lehrstuhls für Antike Philosophie an der Johann-Wolfgang-Goethe-Universität Frankfurt am Main.
Neu!!: Aussagenlogik und Wolfgang Detel · Mehr sehen »
Leitet hier um:
Falsche Aussage, Junktorenlogik, Urteilslogik, Wahre Aussage.
