Habe bei einer Aufgabe ungefähr die Hälfte der Lösung bereitsgeschafft, aber die andere Hälfte fehlt noch.
Die Aufgabe: Gegeben sei die folgende Menge an Aussageformen:
a) q->(!p & !s)
b) s -> t
c) (!s & !t) -> (!p & !q & !r)
d) (p & !q) -> (s & !t)
e) p | q | !r
f) (!p & !q) -> (!s & !t)
Nun sind weitere Aussageformen gegeben, zu denen ich begründen soll, ob ich sie aus a) bis f) folgern kann. Dabei konnte ich bereits zeigen das:
- !p gilt
- p nicht gilt (logisch)
- q | !r gilt
- p | r nicht gilt
Es fehlen noch zwei, die ich nicht zeigen kann (ich weiß bereits, dass sie beide zu Widersprüchen mit a) bis g) führen müssen:
i) q -> r
ii) !p & !q & !r
Kann jmd. helfen?