wahrheitswert
91Genau dann, wenn — Eine logische Äquivalenz liegt vor, wenn zwei logische Ausdrücke den gleichen Wahrheitswert besitzen. Der Ausdruck Äquivalenz wird in der Logik mehrdeutig verwendet: zum einen im Sinne der materialen Äquivalenz (Bikonditional) zum anderen im… …
92Genau dann wenn — Eine logische Äquivalenz liegt vor, wenn zwei logische Ausdrücke den gleichen Wahrheitswert besitzen. Der Ausdruck Äquivalenz wird in der Logik mehrdeutig verwendet: zum einen im Sinne der materialen Äquivalenz (Bikonditional) zum anderen im… …
93I (Logik) — Die Syllogismen (von altgr.: συλ λογισμός, syllogismos = das Zusammenrechnen, logischer Schluss) sind ein Katalog von Typen logischer Argumente. Sie bilden den Kern der im vierten vorchristlichen Jahrhundert entstandenen antiken Logik des… …
94Implikation — Eine Implikation (von lat. implicare, „einwickeln“) bezeichnet: bildungssprachlich die Einbeziehung einer Sache in eine andere; ein mitgemeinter, aber nicht explizit ausgedrückter Bedeutungsinhalt. in der Linguistik die semantische Implikation… …
95Kategorische Syllogismen — Die Syllogismen (von altgr.: συλ λογισμός, syllogismos = das Zusammenrechnen, logischer Schluss) sind ein Katalog von Typen logischer Argumente. Sie bilden den Kern der im vierten vorchristlichen Jahrhundert entstandenen antiken Logik des… …
96Klauselform — Die Klauselform oder Klauselnormalform beschreibt in der Logik eine Formel in konjunktiver Normalform (KNF), bei der die Konjunktionen jeweils in Mengenschreibweise zusammengefasst wurden. Eine Formel in Klauselform (selten auch Klausenform) ist… …
97Klauselnormalform — Die Klauselform oder Klauselnormalform beschreibt in der Logik eine Formel in konjunktiver Normalform (KNF), bei der die Konjunktionen jeweils in Mengenschreibweise zusammengefasst wurden. Eine Formel in Klauselform (selten auch Klausenform) ist… …
98Koinzidenzlemma — Das Koinzidenzlemma ist ein Satz der mathematischen Logik, der die naheliegende Feststellung trifft, dass der Wahrheitswert einer interpretierten Formel nur von den Interpretationen derjenigen Symbole abhängt, die tatsächlich in der Formel… …
99Logik — (von altgriechisch λογική τέχνη logiké téchnē „denkende Kunst“, „Vorgehensweise“) ist die Lehre des vernünftigen (Schluss)Folgerns. Die Logik untersucht die Gültigkeit von Argumenten hinsichtlich ihrer Struktur unabhängig vom konkreten Inhalt der …
100Logische Äquivalenz — Eine logische Äquivalenz liegt vor, wenn zwei logische Ausdrücke den gleichen Wahrheitswert besitzen. Der Ausdruck Äquivalenz wird in der Logik mehrdeutig verwendet: zum einen im Sinne der materialen Äquivalenz (Bikonditional) zum anderen im… …