„Aussagenlogik“ – Versionsunterschied
Zur Navigation springen
Zur Suche springen
| [ungesichtete Version] | [ungesichtete Version] |
Inhalt gelöscht Inhalt hinzugefügt
Verknüpfungen für Aussagen |
KKeine Bearbeitungszusammenfassung |
||
| Zeile 1: | Zeile 1: | ||
Die '''Aussagenlogik''' ist ein Bereich der [[Logik]], der sich mit dem Verständnis von Aussagen zu Sachverhalten befasst. |
Die '''Aussagenlogik''' ist ein Bereich der [[Logik]], der sich mit dem Verständnis von Aussagen zu Sachverhalten befasst. |
||
Als Aussagen gelten Sätze, die als wahr oder falsch ermittelt werden können. Diese werde als [[logische Aussage]] bezeichnet. Die Aussagenlogik beschäftigt sich mit dem korrekten Folgern, d.h. aus dem Schliessen von Voraussetzungen ([[Prämisse|Prämissen]]) auf eine Schlussfolgerung ([[Konklusion]]). In der klassischen Aussagenlogik dabei ist entweder ''wahr'' oder ''falsch'', d.h. es gibt nur zwei Werte (''Zweiwertigkeitsprinzip'', ''tertium non datur''). |
Als Aussagen gelten Sätze, die als wahr oder falsch ermittelt werden können. Diese werde als [[logische Aussage]] bezeichnet. Die Aussagenlogik beschäftigt sich mit dem korrekten Folgern, d.h. aus dem Schliessen von Voraussetzungen ([[Prämisse|Prämissen]]) auf eine Schlussfolgerung ([[Konklusion]]). In der klassischen Aussagenlogik dabei ist entweder ''wahr'' oder ''falsch'', d.h. es gibt nur zwei Werte (''Zweiwertigkeitsprinzip'', ''tertium non datur''). |
||
Aussagen können ''verknüpft'' werden (zweistellige Operationen): |
Aussagen können ''verknüpft'' werden (zweistellige Operationen): |
||
* [[Konjunktion]] ''und'' |
* [[Konjunktion]] ''und'' |
||
* [[Disjunktion]] ''oder'' |
* [[Disjunktion]] ''oder'' |
||
* [[Implikation]] ''wenn ... dann...'' |
* [[Implikation]] ''wenn ... dann...'' |
||
* [[Äquivalenz]] ''...genau dann wenn ...'' |
* [[Äquivalenz]] ''...genau dann wenn ...'' |
||
Sie können auch negiert werden: |
Sie können auch negiert werden: |
||
* [[Negation]] ''nicht'' |
* [[Negation]] ''nicht'' |
||
''siehe auch:'' [[Logik]], [[Boolesche Algebra]] und [[Wahrheitstabelle]] |
|||
''siehe auch:'' [[Logik]] |
|||
Version vom 17. August 2002, 11:28 Uhr
Die Aussagenlogik ist ein Bereich der Logik, der sich mit dem Verständnis von Aussagen zu Sachverhalten befasst. Als Aussagen gelten Sätze, die als wahr oder falsch ermittelt werden können. Diese werde als logische Aussage bezeichnet. Die Aussagenlogik beschäftigt sich mit dem korrekten Folgern, d.h. aus dem Schliessen von Voraussetzungen (Prämissen) auf eine Schlussfolgerung (Konklusion). In der klassischen Aussagenlogik dabei ist entweder wahr oder falsch, d.h. es gibt nur zwei Werte (Zweiwertigkeitsprinzip, tertium non datur).
Aussagen können verknüpft werden (zweistellige Operationen):
- Konjunktion und
- Disjunktion oder
- Implikation wenn ... dann...
- Äquivalenz ...genau dann wenn ...
Sie können auch negiert werden:
- Negation nicht
siehe auch: Logik, Boolesche Algebra und Wahrheitstabelle