- Bijunktion
- Bi|junk|ti|ondie; -, -enVerknüpfung zweier Aussagen in der mathematischen Logik
Das große Fremdwörterbuch. 2013.
Das große Fremdwörterbuch. 2013.
Bijunktion — [zu bi... und lateinisch iungere, iunctum »verbinden«] die, / en, seltener Bikonditional, mathematische Logik: die Verknüpfung zweier Aussagen A und B durch den Junktor »genau dann, wenn« (Zeichen ⇔ oder ↔) zu … Universal-Lexikon
Bijunktion — Als Bikonditional, Bisubjunktion oder materiale Äquivalenz, manchmal (aber mehrdeutig) einfach nur Äquivalenz bezeichnet man eine zusammengesetzte Aussage, die genau dann wahr ist, wenn ihre beiden Teilaussagen denselben Wahrheitswert haben, also … Deutsch Wikipedia
Aussagenverknü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 … Deutsch Wikipedia
Junktor — 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,… … Deutsch Wikipedia
Äquivalenz — Gleichwertigkeit; Gegenwert * * * Äqui|va|lẹnz 〈[ va ] f. 20; unz.〉 Gleichwertigkeit [→ äquivalent] * * * Äqui|va|lẹnz, die; , en [mlat. aequivalentia]: 1. (bildungsspr.) Gleichwertigkeit: die Ä. zweier Begriffe, verschiedener Tauscho … Universal-Lexikon
Bisubjunktion — die, / en, mathematische Logik: seltener für Bijunktion … Universal-Lexikon
Junktor — Jụnktor [lateinisch, eigentlich »Anspänner«, zu iungere »verbinden«] der, s/... toren, Logik: eine logische Partikel, mit deren Hilfe endlich viele Aussagen zu einer neuen Aussage verknüpft werden. Beispiele sind die Abjunktion, die Adjunktion … Universal-Lexikon