So I´ve been trying to prove this logical equivalence with laws, but since I just learned them I don't know how to prove this one. I guess I'd start with the conditional law, but after that, I don't know...
(P -> Q) -> (Q v R) <=> P v Q v R
So I´ve been trying to prove this logical equivalence with laws, but since I just learned them I don't know how to prove this one. I guess I'd start with the conditional law, but after that, I don't know...
(P -> Q) -> (Q v R) <=> P v Q v R
Copyright © 2021 JogjaFile Inc.
$\sim(P\rightarrow Q)\vee(Q \vee R)$
$\sim(\sim P\vee Q)\vee(Q \vee R)$
$(P \wedge \sim Q)\vee(Q \vee R)$
$((P \wedge \sim Q)\vee Q) \vee R)$
$((P \vee Q)\wedge (Q \vee \sim Q) \vee R)$
$((P \vee Q)\wedge (T) \vee R)$
$((P \vee Q)\vee R)$