Home /
Expert Answers /
Computer Science /
b-use-natural-deduction-rules-to-prove-the-validity-of-the-following-formulas-1-a-vee-b-pa859

(b) Use natural deduction rules to prove the validity of the following formulas. 1. \( (A \vee B) \rightarrow C \vdash(A \rightarrow B) \vee(A \rightarrow C) \) 2. \( \forall x(P(x) \rightarrow Q(x)), \exists x(P(x)) \vdash \exists x(Q(x)) \)

Here's a natural deduction proof for the first formula: (AVB) premise A premis