Woche 02
- Wir schauen uns halt mal an was die Aussagenlogik ist
- Damit können wir kram aussagen, und damit halt dinge feststellen
- Je nachdem wie wir was darstellen kann man das dann als Formel "einfach" lesen
- Wie wir wissen, hat jede Aussage eine Variable zugewisen, die aussagt was dat ist
- Mit diesen variablen können wir dann, wie wir wissen ja eine formel basteln
Äquivalenz
- Manchmal wollen wir herausfinden, ob zwei Formeln äquivalent zueinander sind
- das machen wir idealerweise indem wir die beiden erstmal miteinander vergleichen
- Damit zwei formel äuivalent sind, müssen wir schauen, dass beide unter allen aussagen auch dasselbe ausspucken
- genau aussagen können wir das mit solchen Formeln:
Wahrheitstabellen
- Die kennen wir schon aus Hömmi 1
- Mit denen krann man praktisch jede kombination von Aussagenlogischen Vaiablen in ihre einzelteile zersägen und dann einzelnd ein teil at a time durchschauen
- In denen können wir z.b. auch einfach sachen substituieren, wenn wir wissen, wie dieser teil reagiert
