mathematik:logik
Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revision | |||
| mathematik:logik [2023/01/11 19:29] – external edit 127.0.0.1 | mathematik:logik [2026/10/18 12:34] (current) – ms | ||
|---|---|---|---|
| Line 64: | Line 64: | ||
| Wenn A wahr ist, dann ist auch B wahr -> die Gültigkeit von A ist hinreichend für die Gültigkeit von B.\\ | Wenn A wahr ist, dann ist auch B wahr -> die Gültigkeit von A ist hinreichend für die Gültigkeit von B.\\ | ||
| A kann nie wahr sein, wenn B falsch ist; damit A wahr ist, ist es notwendig, dass B wahr ist -> die Gültigkeit von B ist notwendig für die Gültigkeit von A.\\ | A kann nie wahr sein, wenn B falsch ist; damit A wahr ist, ist es notwendig, dass B wahr ist -> die Gültigkeit von B ist notwendig für die Gültigkeit von A.\\ | ||
| + | Hinreichend: | ||
| + | Es reicht aus, dass A wahr ist, damit B automatisch folgt.\\ | ||
| + | Wenn ich weiß dass A gilt (wahr ist), weiß ich sofort dass auch B gilt.\\ | ||
| + | Notwendig: | ||
| + | Es ist absolut notwendig, dass B gilt, damit A überhaupt wahr sein kann. Ohne B gibt es kein A !\\ | ||
| + | Damit A überhaupt wahr sein kann, muss B zwingend erfüllt sein.\\ | ||
| < | < | ||
| A | B | A ⇒ B es wir nur der Fall betrachtet bei denen A und B wahr sind und somit die Implikation wahr ist ! | A | B | A ⇒ B es wir nur der Fall betrachtet bei denen A und B wahr sind und somit die Implikation wahr ist ! | ||
mathematik/logik.1673465365.txt.gz · Last modified: 2023/01/11 19:29 by 127.0.0.1