Rachunek zdań. Dowód formalny Discrete: Podaj dowód formalny: a) 1. q ∨ ¬ r 2. ¬ (r → p) Teza: p b) 1. p → (q ∨ r) 2. q → s 3. r →p Teza: p → s Zaczęłam robić to tak, ale nie wiem czy dobrze i co dalej Proszę o pomoc: a) 1. q ∨ ¬ r (aksjomat 1) 2. ¬ q ∧ r (prawo pontrapozycji) 3. r ⋀ ¬ p (aksjomat 2 + prawo określenia implikacji) 4. ¬ p (3.) ... b) 1. p → (q ∨ r) (aksjomat 1) 2. ¬ p ∨ (q ∨ r) ( prawo okreslenia implikacji) 3. ¬ p ∨ q (2.) ...

Discrete: ?