Aussagenlogik: Unterschied zwischen den Versionen
Aus KGS-Wiki
Sn (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „Die Aussagenlogik ist ein Teilgebiet der Informatik und Logik, das sich mit Aussagen und ihren Beziehungen untereinander beschäftigt. Wenn wir allgemein von ''Aussagenlogik'' sprechen, meinen wir in der Regel die nach ihrem Erfinder '''George Boole''' benannte '''Boolesche Logik'''. In der Booleschen Logik ist eine Aussage ein Satz, der entweder '''wahr''' oder '''falsch''' ist. {{Beispiel|<q>Heute ist Dienstag.</q> ist eine Aussage, die {{#widg…“) |
Sn (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 7: | Zeile 7: | ||
Aussagen können mit '''logischen Operatoren''' verknüpft werden. | Aussagen können mit '''logischen Operatoren''' verknüpft werden. | ||
{{Todo | {{Todo|Sn}} | ||
[[Kategorie:Theoretische Informatik]] | [[Kategorie:Theoretische Informatik]] | ||
Version vom 9. Dezember 2024, 19:11 Uhr
Die Aussagenlogik ist ein Teilgebiet der Informatik und Logik, das sich mit Aussagen und ihren Beziehungen untereinander beschäftigt. Wenn wir allgemein von Aussagenlogik sprechen, meinen wir in der Regel die nach ihrem Erfinder George Boole benannte Boolesche Logik. In der Booleschen Logik ist eine Aussage ein Satz, der entweder wahr oder falsch ist.
Beispiel
Heute ist Dienstag.
ist eine Aussage, die
ist.
Mach bitte die Tür zu.
ist eine Aufforderung, keine Aussage.
Aussagen können mit logischen Operatoren verknüpft werden.
Baustelle
Dieser Abschnitt wird gerade von Sn überarbeitet
