Question

Przy założeniu, że p ⇒ q udowodnić w sposób formalny tezę: (c ∨ p) ⇒ (c ∨ q).
Wskazówka: skorzystać z praw logicznych

Answer 1

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 :)