Mathematik: Lineare Algebra: Grundlagen: Aussagenlogik

Aus Wikibooks

Eine Aussage A ist ein Satz der entweder wahr oder nicht wahr ist. Dementsprechend wird ihr ein Wahrheitswert - w, wahr oder true für eine wahrheitsgemässe Aussage, f, falsch oder false für eine nicht wahrheitsgemässe Aussage - zugeordnet.

Verschiedene Aussagen lassen sich miteinander zu neuen Aussagen verknüpfen. Dies geschieht - sowohl in der sprachlichen als auch in der mathematischen Anwendung - durch Verknüpfungen wie und, oder, nicht, entweder ... oder und anderen.

Aussagen können auch von etwas abhängig sein. Beispiel: A(n) definieren wir als n ist eine gerade Zahl.