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ę. emotka Zadanie: Przeprowadź poniższe wnioskowania: http://iv.pl/images/81517708568079309725.png 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

1. Zadania użytkowników
2. Logika i rachunek zdań
3. Zadanie 6447