ausschließende+Disjunktion
11Bisubtraktion — Kontravalenz ist in der klassischen Logik und Mathematik die Bezeichnung für die Verbindung zweier Aussagen durch den zweistelligen Junktor entweder oder [1] oder auch exklusives Oder sowie Kontravalentor . Synonym werden auch die Bezeichnungen… …
12Exklusives Oder — Kontravalenz ist in der klassischen Logik und Mathematik die Bezeichnung für die Verbindung zweier Aussagen durch den zweistelligen Junktor entweder oder [1] oder auch exklusives Oder sowie Kontravalentor . Synonym werden auch die Bezeichnungen… …
13Junktor — Junktoren (von lat. iungere „verknüpfen, verbinden“) sind Verknüpfungen zwischen Aussagen innerhalb der Aussagenlogik, also logische Operatoren. Sie werden auch Konnektive, Konnektoren, Satzoperatoren, Satzverknüpfer, Satzverknüpfungen,… …
14Dualität (Logik) — In der klassischen Aussagenlogik bezeichnet man zwei Aussagen als dual zueinander, wenn die Wahrheitstabelle der einen Aussage in die Wahrheitstabelle der anderen Aussage übergeht, sofern man darin jedes Vorkommnis eines Wahrheitswertes durch den …
15Aussagenverknüpfung — In der (formalen) Logik bezeichnet man eine Aussage V, die mit Hilfe von Formulierungen wie „und“, „oder“, „wenn–dann“ und „es ist nicht der Fall, dass“ aus anderen Aussagen zusammengesetzt ist, als komplexe Aussage, zusammengesetzte Aussage oder …
16AUT — Die Abkürzung AUT steht für: das ISO 3166 1 Kürzel zur Bezeichnung von Österreich (Austria) dem IATA Airport code für den Flughafen Atauro in Indonesien das ehemalige Bundesforschungsprogramm Arbeit und Technik application under test in der… …
17VEL — Die Abkürzung VEL steht für: Vollelektrolytlösung, eine medizinische Infusion. Die Abkürzung VE L steht für: Bundesstaat Mérida, ISO 3166 2 Code des venezolanischen Bundesstaates. Die Abkürzung Vel steht für: Segel des Schiffs, ein Sternbild des… …
18Geschichte der Logik — Die Geschichte der Logik behandelt die Logik als Ganzes in ihrer Entstehung und Entwicklung zur formalen Logik, wobei auch andere Entwicklungen berücksichtigt werden. Die europäisch westliche Logik hat ihren Anfang im antiken Griechenland.… …
19Adjunktion — Ad|junk|ti|on die; , en <aus gleichbed. lat. adiunctio>: 1. Hinzufügung, Beiordnung, Vereinigung. 2. Verknüpfung zweier Aussagen durch oder; nicht ausschließende ↑Disjunktion; formale Logik …
20True Wert — Die Aussagenlogik (veraltet Urteilslogik) ist der Bereich der Logik, der sich mit Aussagen und deren Verknüpfung durch Junktoren befasst, ausgehend von strukturlosen Elementaraussagen (Atomen), denen semantisch ein Wahrheitswert zugeordnet wird.… …