Using only the rules of inference and the logical equivalences from class and the notes, show that the following argument is valid. You may assume that all the premises given are true. Make sure that you include both the rule and the line number(s) to which that rule is applied.

1.x

x((B(x)A(x))C(x))

((B(x)A(x))C(x))

2.x

x((D(x)B(x))E(x))

((D(x)B(x))E(x))

3.x

x(D(x)A(x))

(D(x)A(x))

Conclude:x

x(E(x)C(x))Using only the rules of inference and the logical equivalences from class and the notes, show that the following argument is valid. You may assume that all the premises given are true. Make sure that you include both the rule and the line number(s) to which that rule is applied.

1. x((B(x)A(x))C(x))

2.x((D(x)B(x))E(x))

1. x(D(x)A(x))

Conclude: x(E(x)C(x))