Share
Explore BrainMass

Logics - 17 Rules of Inference

Can someone please help me with these?
Use the 17 rules of inference to prove the following argument valid.

question 1

1. (Z > X) . (X > ~Z)
2. Z v X
3. ~X / A . B

question 2

1. B v (S . N)
2. B > ~S
3. S > ~N / B v W

question 3

1. (Q . F) v R
2. (Q v R) > ~P
3. ~A / ~(A v P)

question 4

1. A > ~A / ~A

question 5
1. A > B
2. C > B / (A v C) > B

question 6

1. S > R / S > (R v T)

question 7

1. ~A > (B > ~C)
2. ~D > (~C > A)
3. D v ~A
4. ~D / ~B

question 8

1. (S > B) > (S v K)
2. (K v ~D) > (H > S)
3. ~S . W / ~H

question 9

1. (Z . Y) > X
2. ~O > Z
3. ~Y > O
4. ~O . T / X

question 10

1. F > G
2. ~H V I
3. (G V I) > J
4. ~J / ~(F v H)

$2.19