3 replaced a + I missed with &

Question one:

1. (C>D) & (D>B)
2. (B>D) & (E>C)
3. (D>C)
4. BvE ∴ DvB
5. ?
6. ?
7. ?
8. ?
9. DvB

I'm fairly sure this questions has constructive dilemma at the end, but after four hours of working on these two problems I feel like I can't make any more progress. Here's what I solved so far!

1. DvC 2,4, Constructive dilemma
2. C>D 1, Simplification
3. B>D 2, Simplification
4. ?
5. DvB ?

Question two:

1. (~K&~N)>[(~P>K)&(~R>G)]
2. K>N
3. ~N+B~N&B
4. ~Pv~R ∴ ~RvG
5. ?
6. ?
7. ?
8. ?
9. ?
10. ?
11. ?
12. ?

This second problem is more involved than the first, but I genuinely don't understand how to get the answer.

1. ~N 3, Simplified
2. ~K 2,5, Modus tollens
3. ~k&~N 5,6 Conjunction
4. (~P>K)&(~R>G) 1,7 Modus ponens
5. KvG 4,8 Constructive dilemma
6. ?
7. ?
8. ~RvG ?

Literally any type of help or hints to solving either or would mean the world to me!

Question one:

1. (C>D) & (D>B)
2. (B>D) & (E>C)
3. (D>C)
4. BvE ∴ DvB
5. ?
6. ?
7. ?
8. ?
9. DvB

I'm fairly sure this questions has constructive dilemma at the end, but after four hours of working on these two problems I feel like I can't make any more progress. Here's what I solved so far!

1. DvC 2,4, Constructive dilemma
2. C>D 1, Simplification
3. B>D 2, Simplification
4. ?
5. DvB ?

Question two:

1. (~K&~N)>[(~P>K)&(~R>G)]
2. K>N
3. ~N+B
4. ~Pv~R ∴ ~RvG
5. ?
6. ?
7. ?
8. ?
9. ?
10. ?
11. ?
12. ?

This second problem is more involved than the first, but I genuinely don't understand how to get the answer.

1. ~N 3, Simplified
2. ~K 2,5, Modus tollens
3. ~k&~N 5,6 Conjunction
4. (~P>K)&(~R>G) 1,7 Modus ponens
5. KvG 4,8 Constructive dilemma
6. ?
7. ?
8. ~RvG ?

Literally any type of help or hints to solving either or would mean the world to me!

Question one:

1. (C>D) & (D>B)
2. (B>D) & (E>C)
3. (D>C)
4. BvE ∴ DvB
5. ?
6. ?
7. ?
8. ?
9. DvB

I'm fairly sure this questions has constructive dilemma at the end, but after four hours of working on these two problems I feel like I can't make any more progress. Here's what I solved so far!

1. DvC 2,4, Constructive dilemma
2. C>D 1, Simplification
3. B>D 2, Simplification
4. ?
5. DvB ?

Question two:

1. (~K&~N)>[(~P>K)&(~R>G)]
2. K>N
3. ~N&B
4. ~Pv~R ∴ ~RvG
5. ?
6. ?
7. ?
8. ?
9. ?
10. ?
11. ?
12. ?

This second problem is more involved than the first, but I genuinely don't understand how to get the answer.

1. ~N 3, Simplified
2. ~K 2,5, Modus tollens
3. ~k&~N 5,6 Conjunction
4. (~P>K)&(~R>G) 1,7 Modus ponens
5. KvG 4,8 Constructive dilemma
6. ?
7. ?
8. ~RvG ?

Literally any type of help or hints to solving either or would mean the world to me!

2 replace + with & and / with ∴ for clarity

Question one:

1. (C>D) +& (D>B)
2. (B>D) +& (E>C)
3. (D>C)
4. BvE /DvB ∴ DvB
5. ?
6. ?
7. ?
8. ?
9. DvB

I'm fairly sure this questions has constructive dilemma at the end, but after four hours of working on these two problems I feel like I can't make any more progress. Here's what I solved so far!

1. DvC 2,4, Constructive dilemma
2. C>D 1, Simplification
3. B>D 2, Simplification
4. ?
5. DvB ?

Question two:

1. (~K+~N~K&~N)>[(~P>K)+&(~R>G)]
2. K>N
3. ~N+B
4. ~Pv~R /~RvG∴ ~RvG
5. ?
6. ?
7. ?
8. ?
9. ?
10. ?
11. ?
12. ?

This second problem is more involved than the first, but I genuinely don't understand how to get the answer.

1. ~N 3, Simplified
2. ~K 2,5, Modus tollens
3. ~k+~N~k&~N 5,6 Conjunction
4. (~P>K)+&(~R>G) 1,7 Modus ponens
5. KvG 4,8 Constructive dilemma
6. ?
7. ?
8. ~RvG ?

Literally any type of help or hints to solving either or would mean the world to me!

Question one:

1. (C>D) + (D>B)
2. (B>D) + (E>C)
3. (D>C)
4. BvE /DvB
5. ?
6. ?
7. ?
8. ?
9. DvB

I'm fairly sure this questions has constructive dilemma at the end, but after four hours of working on these two problems I feel like I can't make any more progress. Here's what I solved so far!

1. DvC 2,4, Constructive dilemma
2. C>D 1, Simplification
3. B>D 2, Simplification
4. ?
5. DvB ?

Question two:

1. (~K+~N)>[(~P>K)+(~R>G)]
2. K>N
3. ~N+B
4. ~Pv~R /~RvG
5. ?
6. ?
7. ?
8. ?
9. ?
10. ?
11. ?
12. ?

This second problem is more involved than the first, but I genuinely don't understand how to get the answer.

1. ~N 3, Simplified
2. ~K 2,5, Modus tollens
3. ~k+~N 5,6 Conjunction
4. (~P>K)+(~R>G) 1,7 Modus ponens
5. KvG 4,8 Constructive dilemma
6. ?
7. ?
8. ~RvG ?

Literally any type of help or hints to solving either or would mean the world to me!

Question one:

1. (C>D) & (D>B)
2. (B>D) & (E>C)
3. (D>C)
4. BvE ∴ DvB
5. ?
6. ?
7. ?
8. ?
9. DvB

I'm fairly sure this questions has constructive dilemma at the end, but after four hours of working on these two problems I feel like I can't make any more progress. Here's what I solved so far!

1. DvC 2,4, Constructive dilemma
2. C>D 1, Simplification
3. B>D 2, Simplification
4. ?
5. DvB ?

Question two:

1. (~K&~N)>[(~P>K)&(~R>G)]
2. K>N
3. ~N+B
4. ~Pv~R ∴ ~RvG
5. ?
6. ?
7. ?
8. ?
9. ?
10. ?
11. ?
12. ?

This second problem is more involved than the first, but I genuinely don't understand how to get the answer.

1. ~N 3, Simplified
2. ~K 2,5, Modus tollens
3. ~k&~N 5,6 Conjunction
4. (~P>K)&(~R>G) 1,7 Modus ponens
5. KvG 4,8 Constructive dilemma
6. ?
7. ?
8. ~RvG ?

Literally any type of help or hints to solving either or would mean the world to me!

1

# Symbolic logic and rules of inference: two questions

Question one:

1. (C>D) + (D>B)
2. (B>D) + (E>C)
3. (D>C)
4. BvE /DvB
5. ?
6. ?
7. ?
8. ?
9. DvB

I'm fairly sure this questions has constructive dilemma at the end, but after four hours of working on these two problems I feel like I can't make any more progress. Here's what I solved so far!

1. DvC 2,4, Constructive dilemma
2. C>D 1, Simplification
3. B>D 2, Simplification
4. ?
5. DvB ?

Question two:

1. (~K+~N)>[(~P>K)+(~R>G)]
2. K>N
3. ~N+B
4. ~Pv~R /~RvG
5. ?
6. ?
7. ?
8. ?
9. ?
10. ?
11. ?
12. ?

This second problem is more involved than the first, but I genuinely don't understand how to get the answer.

1. ~N 3, Simplified
2. ~K 2,5, Modus tollens
3. ~k+~N 5,6 Conjunction
4. (~P>K)+(~R>G) 1,7 Modus ponens
5. KvG 4,8 Constructive dilemma
6. ?
7. ?
8. ~RvG ?

Literally any type of help or hints to solving either or would mean the world to me!