Logik und Aussagen

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

„Logik und Aussagen“ weiterlesen