Junktor
81Vollständig — Das Wort Vollständigkeit (abgeleitet vom Ausdruck vollen Bestand haben) bezeichnet allgemein eine Zusammenstellung oder Aufzählung von allen Teilen, die zu einem Ganzen gehören eine Eigenschaft in der Mathematik, siehe Glossar mathematischer… …
82Wahrheitsfunktion — Eine Wahrheitswertefunktion (kurz: Wahrheitsfunktion) ist eine Funktion im mathematischen Sinn, die Wahrheitswerte auf Wahrheitswerte abbildet. Formal gesprochen ist der Wertebereich einer Wahrheitswertefunktion die Menge der Wahrheitswerte, in… …
83Wahrheitsfunktional — Eine Wahrheitswertefunktion (kurz: Wahrheitsfunktion) ist eine Funktion im mathematischen Sinn, die Wahrheitswerte auf Wahrheitswerte abbildet. Formal gesprochen ist der Wertebereich einer Wahrheitswertefunktion die Menge der Wahrheitswerte, in… …
84¬ — Eine Negation (v. lat.: negare = verneinen) bezeichnet die Ablehnung oder Verneinung. (Gegenteil: Affirmation). Inhaltsverzeichnis 1 Linguistik 2 Logik 2.1 Negation in der zweiwertigen Logik 2.1.1 Die Satznegation …
85Alloperator — Ein Quantor (auch: Quantifikator) ist ein Operator der Prädikatenlogik. Neben den Junktoren sind die Quantoren Grundzeichen der Prädikatenlogik. Allen Quantoren gemeinsam ist, dass sie Variablen binden. Die beiden gebräuchlichsten Quantoren sind… …
86Allquantor — Ein Quantor (auch: Quantifikator) ist ein Operator der Prädikatenlogik. Neben den Junktoren sind die Quantoren Grundzeichen der Prädikatenlogik. Allen Quantoren gemeinsam ist, dass sie Variablen binden. Die beiden gebräuchlichsten Quantoren sind… …
87Alphagraph — 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. Sie umfassen sowohl eine… …
88Alphagraphen — 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. Sie umfassen sowohl eine… …
89Alternanz — (von mittellateinisch alternantia, französisch alternance) oder Alternation (von mittellateinisch alternatio, englisch alternation) steht für: Alternanz (Verslehre) in der Verslehre Alternanz (Linguistik) in der Linguistik Alternanz (Obstbau) bei …
90Atom (Logik) — Als atomare Aussagen (auch Atomaussagen, Aussagenatom, Atome, Primaussagen, einfache Aussage, unzusammengesetzte Aussage, elementare Aussage, Elementaraussage, elementarer Satz, Elementarsatz, Atomsatz) werden in der mathematischen oder formalen… …
