Witam. Mam do zrobienia parę zadań z matematyki dyskretnej. Z większością już sobie poradziłem, ale zostały mi jeszcze dwa, dosyć trudne, podpunkty. Mogę kogoś prosić o pokazanie mi jak je zrobić, wytłumaczenie? Z góry bardzo dziękuję.
Zadanie: Przeprowadź poniższe wnioskowania:
a) \(q \Rightarrow \neg r, q, r \vee (s \wedge \neg p)\vdash DNZ(s \Rightarrow t) \Rightarrow ( \neg p \wedge t)\)
b) \(\neg q \vee r, u, \neg ( \neg p \Rightarrow \neg s), r \wedge s \Rightarrow t \vdash DNZ q \Rightarrow t\)
