Can you Solve these logical Proof exercises

For the following interactive exercises, you will be asked to

complete a proof. For each line that you add to your proof, you will need to justify its derivation by notating the relevant preceding line(s) and rule of inference, until you reach the conclusion on a line by itself.

Refer to the fold-out card at the end of Baronett, Logic, 3rdedition, for the following argument forms:

• The Eight Implication Rules

• The Ten Replacement Rules

• Inference Rules for Predicate Logic

Create a proof for the following argument. Show 3 possible outcomes (if applicable) for the missing line.

#1

1. (M ∨ R) ⊃ ∼K

2. (G ⊃ ∼K) ⊃ C

3. G ⊃ (M ∨ R) /C

4. ?

#2

1. (H ∨ M) ∨ L

2. L ⊃ H

3. H ⊃ (M ⊃ H)

4. ∼(M ⊃ H) /M

5. ?

#3

1. M ⊃ H

2. (K ∨ F) ⊃ M

3. K /H

4. ?

#4

1. (C ∨ K) ⊃ L

2. ∼B ∨ ∼H

3. (∼B ⊃ F) • (∼H ⊃ ∼A)

4. (F ∨ ∼A) ⊃ ∼L /∼(C ∨ K)

5. ?

#5

1. F • ∼C

2. (B • G) ⊃ (C • D) /∼(B • G)

3.?

#6

1. (x)∼Qx

2. (x)[(Sx ∨ Px) ≡ Qx] /(x)(Px ≡ Sx)

3. ?

#7

1. (x)(Px ⊃ Sx)

2. (x)(Px ⊃ Qx) /(x)[Px ⊃ (Qx • Sx)

3. ?

#8

1. (x)(y)(Jxy ⊃ Kxy)

2. ∼Kcb /∼Jcb

3. ?

#9

1. (z)(Fz ⊃ Gz)

2. ∼Gb

3. a = b /∼Fa

4. ?

#10

1. (∃x)(Fx • Mx)

2. (x)(x = b) /Mb

3. ?