Proofs in monadic predicate logic A. Valid arguments Using natural deduction, prove the validity of the following arguments [7 points each] (1) 1. (r)(Ax o Br) 2. (x)(Cx >Dx) 3. (x)[Ax v (Cx Ex)] / .. (x)(Bx v Dx) (2) 1. (x)(Fx > Gx) 2. (x)(Fx v Hx) Hint. CQN is your friend!! Hint. Remember that a flagged constant must be new to the proof; it cannot have appeared in the premises or appear in the conclusion. So if you need to flag a constant at any point in this proof (you will!), choose a new constant to flag, not 'a'. Proofs in monadic predicate logic A. Valid arguments Using natural deduction, prove the validity of the following arguments [7 points each] (1) 1. (r)(Ax o Br) 2. (x)(Cx >Dx) 3. (x)[Ax v (Cx Ex)] / .. (x)(Bx v Dx) (2) 1. (x)(Fx > Gx) 2. (x)(Fx v Hx) Hint. CQN is your friend!! Hint. Remember that a flagged constant must be new to the proof; it cannot have appeared in the premises or appear in the conclusion. So if you need to flag a constant at any point in this proof (you will!), choose a new constant to flag, not 'a