Aufgabe:
Formalisiere die folgenden umgangssprachlichen Aussagen mit Begriffen der
Aussagenlogik:
a) Wenn die Sonne scheint, ist es Tag.
b) Wenn es Tag ist oder die Lampe brennt, ist es hell.
c) Wenn es nicht Tag ist, brennt die Lampe.
Definieren Sie dazu eine Menge V von aussagenlogischen Atomen. Formulieren Sie
dann jede der Aussagen als aussagenlogische Formel über Atomen in V .
2. Sei F die Menge der entwickelten Formeln.
Zeige oder widerlege, dass folgende Aussagen semantisch aus F folgen:
i) Es ist hell.
ii) Wenn die Lampe brennt, ist es nicht Tag.
iii) Wenn es nicht hell ist, scheint die Sonne.
Problem/Ansatz:
Meine Lösung zu 1.
\( V=\{S, T, L, H\} \)
a) \( \quad S \rightarrow T \)
b) \( (T \vee L) \rightarrow H \)
c) \( \neg{T} \rightarrow L \)
Könnte mir jemand erklären wie ich Aufgabe 2 löse ? Danke
