Logic Homework for Monday 3/27

Do Natural Deductions for the following arguments:

(1) 1. W → M (2) 1. W (3) 1. A → ~ B

2. N → ~ M 2. (W & C) → (M & V) 2. A & C

3. N 3. C \ ~ B

\ ~ W 4. V → F

\ F

(4) 1. E → (T → S) (5) 1. H → ~ B (6) 1. F → (G → H)

2. ~ (T → S) 2. D → B 2. ~ F → J

3. ~ R v E 3. H 3. ~ (G → H)

\ ~ R \ ~ D \ J

(7) 1. (A & E) → F (8) 1. A v C (9) 1. (D & H) → R

2. E 2. B → ~ (A v C) 2. S → (D & H)

3. F → (D & ~ C) \ ~ B \. S → R

4. A

\ ~ C

(10) 1. ~ X → Y (11) 1. (A & B) → ~ C (12) 1. ~ L & (J → K)

2. Z → ~ X 2. C v (D & E) 2. L v J

3. Y → ~ V 3. (A & B) & F 3. ~ I → ~ K

\ Z → ~ V \ D & E \ I