Die Regeln der Logik bilden die Grundlage mathematischen Argumentierens
Anwendungen
- Schaltkreiseentwurf
- Programmiersprachen
- Verifikation
- …
Definition: Aussagen
Eine Aussage ist ein sprachliches Gebilde, dem genau einer der Wahrheitswerte wahr (w) oder falsch (f) zugeordnet ist.
Bsp.
- 2 ist eine gerade Zahl – wahre Aussage
- Bananen sind blau – falsche Aussage
- nachts ist es kälter als draußen – keine Aussage