Ch 3. Solutions

1. No

5. [latex]\neg p \lor q[/latex]

7. [latex]p \lor q[/latex]

9. [latex]p \lor q[/latex]

17. No

21. [latex]p \rightarrow q[/latex]

23. Yes

27. Yes

31. The ground is wet.

33. Yes

35. Affirming the consequence.

39. [latex]p \rightarrow q, q \rightarrow r \Rightarrow p \rightarrow r[/latex]

47. [latex]\exists x (U(x) \land A(x))[/latex]

49. Yes

51. [latex]\forall x (R(x) \rightarrow C(x))[/latex]

55. [latex]\forall x ((C(x) \land O(x)) \rightarrow R(x))[/latex]