Schneller Zugriff als Browser!
34 Beziehungen: Aussage (Logik), Aussagenlogik, Benjamin Schnieder, Bikonditional, Dialogische Logik, Disjunktion, Extensionalitätsprinzip, Henry Maurice Sheffer, Identität, Implikation, Jan Łukasiewicz, Klassische Logik, Konjunktion (Logik), Konstante (Logik), Kontradiktion, Kontravalenz, Latein, Logik, Logische Verknüpfung, Logischer Operator, Modallogik, NAND-Gatter, Negation, NOR-Gatter, Operator (Mathematik), Prinzip der Zweiwertigkeit, Programmiersprache, Saul Kripke, Shefferscher Strich, Stelligkeit, Subjunktion, Tautologie (Logik), Wahrheitstabelle, Wahrheitswert.
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!!: Junktor 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!!: Junktor und Aussagenlogik · Mehr sehen »
Benjamin Schnieder
Benjamin Schnieder (* 27. Dezember 1974 in Hamburg) ist ein deutscher Philosoph.
Neu!!: Junktor und Benjamin Schnieder · 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!!: Junktor und Bikonditional · Mehr sehen »
Dialogische Logik
Die dialogische Logik (engl.: dialogical logic auch: game semantics) ist ein von den deutschen Logikern und Philosophen Kuno Lorenz und Paul Lorenzen entwickelter spieltheoretischer, semantiknaher Ansatz zur Logik.
Neu!!: Junktor und Dialogische Logik · 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!!: Junktor und Disjunktion · Mehr sehen »
Extensionalitätsprinzip
Mit Extensionalitätsprinzip ist meist eine Eigenschaft einer künstlichen oder natürlichen Sprache gemeint.
Neu!!: Junktor und Extensionalitätsprinzip · Mehr sehen »
Henry Maurice Sheffer
Henry Maurice Sheffer (* 1882 in der Ukraine; † 1964) war ein US-amerikanischer Logiker.
Neu!!: Junktor und Henry Maurice Sheffer · Mehr sehen »
Identität
Identität (von mittellateinisch identitas ‚Wesenseinheit‘, Abstraktum zu ‚derselbe‘) ist die Gesamtheit der Eigentümlichkeiten, die eine Entität, einen Gegenstand oder ein Objekt kennzeichnen und als Individuum von anderen unterscheiden.
Neu!!: Junktor und Identität · 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!!: Junktor und Implikation · 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!!: Junktor und Jan Łukasiewicz · 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!!: Junktor und Klassische Logik · 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!!: Junktor und Konjunktion (Logik) · Mehr sehen »
Konstante (Logik)
Allgemein ist eine Konstante (von „feststehend“) ein Zeichen beziehungsweise ein Sprachausdruck mit einer „genau bestimmte Bedeutung, die im Laufe der Überlegungen unverändert bleibt“.
Neu!!: Junktor und Konstante (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!!: Junktor und Kontradiktion · 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!!: Junktor und Kontravalenz · 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!!: Junktor 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!!: Junktor und Logik · Mehr sehen »
Logische Verknüpfung
Eine Logische Verknüpfung ist eine Operation der Booleschen Algebra.
Neu!!: Junktor und Logische Verknüpfung · Mehr sehen »
Logischer Operator
Ein Logischer Operator ist eine Funktion, die einen Wahrheitswert liefert.
Neu!!: Junktor und Logischer Operator · Mehr sehen »
Modallogik
Die Modallogik ist derjenige Zweig der Logik, der sich mit den Folgerungen um die Modalbegriffe möglich und notwendig befasst.
Neu!!: Junktor und Modallogik · Mehr sehen »
NAND-Gatter
Ein NAND-Gatter (von englisch: not and – nicht und) ist ein Logikgatter mit zwei oder mehr Eingängen A, B, … und einem Ausgang Y, zwischen denen die logische Verknüpfung NICHT UND besteht.
Neu!!: Junktor und NAND-Gatter · 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!!: Junktor 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!!: Junktor und NOR-Gatter · Mehr sehen »
Operator (Mathematik)
Ein Operator ist eine mathematische Vorschrift, durch die man aus mathematischen Objekten neue Objekte bilden kann.
Neu!!: Junktor und Operator (Mathematik) · 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!!: Junktor und Prinzip der Zweiwertigkeit · Mehr sehen »
Programmiersprache
Quelltext eines Programms in der Programmiersprache C++. Scratch. Eine Programmiersprache ist eine formale Sprache zur Formulierung von Datenstrukturen und Algorithmen, d. h.
Neu!!: Junktor und Programmiersprache · Mehr sehen »
Saul Kripke
Saul Kripke (2005) Saul Aaron Kripke (* 13. November 1940 in Bay Shore, Long Island, New York; † 15. September 2022 in Plainsboro, New Jersey) war ein amerikanischer Philosoph und Logiker.
Neu!!: Junktor und Saul Kripke · 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!!: Junktor und Shefferscher Strich · Mehr sehen »
Stelligkeit
Der Begriff Stelligkeit (auch Arität) steht für die Anzahl der Argumente einer Verknüpfung, einer Abbildung bzw.
Neu!!: Junktor und Stelligkeit · 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!!: Junktor und Subjunktion · 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!!: Junktor und Tautologie (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!!: Junktor 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!!: Junktor und Wahrheitswert · Mehr sehen »
Leitet hier um:
Aussagenverknüpfung, Funktional vollständig, Funktionale Vollständigkeit, Replikation (Logik).
