Mathematik für Wirtschaftsinformatiker

Aussagenlogik

Was ist eine Tautologie?

Eine verknüpfte Aussage die immer WAHR ist. (Allgemeingültig)
 
Beispiele:
-Die Straße ist nass, oder die Straße ist nicht nass: q ∨ ¬q
-Wenn es regnet und die Straße nass ist, dann ist die Straße nass: (p ∧ q) → q

Diskussion