Odpowiedź:
jeśli z p wynika q, to oznacza, że w zdaniu: (c ∨ p) ⇒ (c ∨ q), gdzie v to wyraz "lub" to obojętne jakie będzie c (czy będzie 0 czy też 1), bo jest wyraz "lub", co oznacza, tak naprawdę, że możemy skrócić po obu stronach tego zdania to c i będzie to to samo co p ⇒ q.
w pliku jest odp.
mam nadzieję, że dobrze :)
