Question

I need solutions to these problems. Please do not copy from other people's solutions, I will negatively rate it. All the other posts of these problems made by me, I just want to compare different solutions. So I will know if you copied from another my posts. Solve it by yourself.

Directions: Use the concepts of classical logic to respond to the following exercises Write your answers by hand as clearly as possible. Staple together all of your answers. Assume that A, B, C' stand for arbitrary formulas in Frm(Lcon) in these exercises. Part B: Arguments (worth 40 points each) (5) Use a tree to demonstrate that p (g Λ r) s), p Λ-3-CL-q Λ r) (6) Use a tree to demonstrate that p-tp Л צר), q כ זר FCL (-q Л s) V (זר As)

Answer 1

Solution:

given that

Directions: Use the concepts of classical logic to respond to the following exercises Write your answers by hand as clearly.

p superset ((q wedge r) superset s), p wedge s models_CL (q wedge r) where, Rightarrow we build the tree [as p superset [(q wedge r) superset s] [as 7s is true] Rightarrow we get (q wedge r) Rightarrow p superset ((q wedge r) superset s), p wedge s models_CL (q wedge r) \r\n p, (p wedge s), q superset r models_CL (q wedge s) vee (r wedge s) Rightarrow we build the tree Rightarrow (q wedge s) vee (r wedge s) Rightarrow p, (p wedge s), q superset r models_XL (q wedge s) vee (r wedge s)