SOLUTION: We have to proof these arguement by using the 17 rules of inference. 1) 1. (z>x) . (x>~z) 2. zvx 3. ~x / A.B 2) 1. Bv(S.N) 2.B>~S 3. S>~N/ BvW 3) 1. (Q.F) v

Algebra ->  Proofs -> SOLUTION: We have to proof these arguement by using the 17 rules of inference. 1) 1. (z>x) . (x>~z) 2. zvx 3. ~x / A.B 2) 1. Bv(S.N) 2.B>~S 3. S>~N/ BvW 3) 1. (Q.F) v      Log On


   

Question 732703: We have to proof these arguement by using the 17 rules of inference.
1) 1. (z>x) . (x>~z)
2. zvx
3. ~x / A.B
2) 1. Bv(S.N)
2.B>~S
3. S>~N/ BvW
3) 1. (Q.F) v R
2. (QvR) >~P
3. ~A / ~(AvP)
4) 1. A>~A/ ~A
5) 1. A>B
2. C>B/ (AvC)>B
6) 1. S>R/ S>(RvT)
7) 1. ~A>(B>~C)
2. ~D>(~C>A)
3. Dv~A
4. ~D/ ~B
8) 1. (S>B)>(SvK)
2. (Kv~D)>(H>S)
3. ~S.W/ ~H
9) 1. (Z.Y)>X
2. ~O>Z
3. ~Y>O
4. ~O.T/ X
10) 1. F>G
2. ~HvI
3. (GvI)>J
4. ~J/ ~(FvH)
*I am so confused if any one could help, I would greatly appreciate it.
Answer by lynnlo(4176) About Me  (Show Source):
You can put this solution on YOUR website!
THIS IS "FREE TUTOR",WE ARE NOT SUPPOSE TO DO ALL OF YOUR HOMEWORK FOR YOU.1 QUESTION AT A TIME PLEASE