Question

Part IV: All of the following arguments are VALID. Prove the validity of each using NATURAL DEDUCTION.

1)

1. H É I

2. U v ~I

3. ~U

4. H v S                                               / S

2)

1. (I × E) É (F É Y)

2. Y É ~C

3. I × E                                                 / F É ~C

3)

1. L v O

2. (F v C) É B

3. L É F

4. O É C                                              / B

4)

1. K × L

2. (L v T) É (Q × S)

3. (S v M) É (O × A)                           / A v ~G

5)

1. P É ~U

2. H × U

3. (H v ~V) É (C × P)                          / A º B

6)

1. (J É K) × (~O É ~P)

2. (L É J) × (~M É ~O)

3. ~K É (L v ~M)

4. ~K × G                                             / ~P

Answer 1

Plz do Upvote