3 replaced a + I missed with &
source | link

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
source | link

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
source | link

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!