Version: Test |
Inhalt zu: Binäre Logik IV zurück |
| Info-Seite | Vorkenntnisse: ...... Themen: ...... Info's: www.mathematik.net |
| Die Bijunktion | Die
Bijunktion A B
ist (wie UND-Funktion, ODER-Funktion etc.) eine W-Funktion, bei der ein Wahrheitswert einer Aussage (C) vom Wahrheitswert zweier anderer Aussagen (A,B) abhängig ist: Die Bijunktion ordnet der Aussage C den Wert "wahr" zu, wenn die Aussagen A und B den gleichen Wahrheitswert haben.  |
| Beispiel | A: x ist ein Mann B: y ist ein Mann C: x hat gleiche Geschlecht wie y |
| Bijunktion und Äquivalenz | Zwischen Bijunktion
und Äquivalenz besteht folgender Zusammenhang: Nimmt man an die Aussage C wäre wahr, so werden die Aussagen A und B zu äquivalenten Aussagen. |
| Die Subjunktion | Die
Subjunktion A B
ist (wie UND-Funktion, ODER-Funktion etc.) eine W-Funktion, bei der ein Wahrheitswert einer Aussage (C) vom Wahrheitswert zweier anderer Aussagen (A,B) abhängig ist: Die Subjunktion ordnet der Aussage C immer den Wert "wahr" zu, außer wenn Aussage A wahr und Aussage B falsch ist.  |
| Beispiel | A: Ich bin gesund
B: Es ist Zeit für die regelmäßige Routineuntersuchung C: Ich muß zum Arzt |
| Subjunktion und Implikation |
Zwischen Subjunktion
und Implikation besteht folgender Zusammenhang: Nimmt man an die Aussage C wäre wahr, so wird die Aussage B eine Folge (Implikation) der Aussage A. |