wahrheitswert
121Widersprüchlichkeit — Kontradiktorisch (widersprüchlich) wird eine Beziehung zweier logischer Aussagen genannt, bei der von der Wahrheit der einen Aussage auf die Falschheit der anderen geschlossen werden kann und – das ist wichtig – von der Falschheit der einen… …
122Wissensrepräsentation mit Logik — ist eine Art der Wissensrepräsentation, die auf formaler Logik basiert. Zum Aufbau wissensbasierter Systeme müssen Objekte der realen Welt in einer Sprache repräsentiert werden, die ein Computer versteht, damit er mit diesem Wissen umgehen kann.… …
123Äquivalenz (Logik) — 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… …
124⊤ — Eine Tautologie (altgr. τὸ αὐτό tò autó „dasselbe“ und logie) im Sinne der Logik ist eine Aussageform[1], die unabhängig von den Wahrheitswerten ihrer Bestandteile stets wahr ist. Der Wahrheitswert einer Tautologie ist wie der der Kontradiktion… …
125⊥ — Kontradiktorisch (widersprüchlich) wird eine Beziehung zweier logischer Aussagen genannt, bei der von der Wahrheit der einen Aussage auf die Falschheit der anderen geschlossen werden kann und – das ist wichtig – von der Falschheit der einen… …
126!= — Ein Vergleichsoperator (auch relationaler Operator) ist ein zweistelliger logischer Operator, also ein Operator, der auf zwei Argumente angewendet wird und einen Wahrheitswert liefert. Vergleichsoperatoren werden vor allem in mathematischen… …
127Abstrakter Begriff — Mit dem Ausdruck Begriff (mhd. und frühnhd. begrif oder begrifunge) bezeichnet man üblicherweise eine semantische Einheit – im Unterschied zum Wort als sprachlicher Einheit den gemeinten Bedeutungsinhalt dieses Wortes oder den begrifflichen… …
128Allgemeingültigkeit — In einer formalen Logik oder einem Kalkül bezeichnet man eine Formel als allgemeingültig, wenn sie von jeder beliebigen Interpretation erfüllt wird. Die Allgemeingültigkeit ist also ein spezieller Fall der Erfüllbarkeit einer Formel. Während die… …
