SOLUTION: Could you please help me? Im sick with a bug and cant think straight :/ A) 1. A ⊃ B 2. A ∙ C / B 3. 4. B) 1. W ⊃ X 2. X ⊃ Y 3. Y ⊃ Z / W

Algebra.Com
Question 1120553: Could you please help me? Im sick with a bug and cant think straight :/
A)
1. A ⊃ B
2. A ∙ C / B
3.
4.
B)
1. W ⊃ X
2. X ⊃ Y
3. Y ⊃ Z / W ⊃ Z
4.
5.
C)
1. M ⊃ N
2. O ⊃ P
3. M ∨ O / (N ∨ P) ∨ O
4.
5.
6.
D)
1. A ⊃ (R ∙ T)
2. (R ∨ T) ⊃ J
3. A / J
4.
5.
6.
7.
E)
1. (C ⊃ D) • (D ⊃ B)
2. (B ⊃ D) • (E ⊃ C)
3. (D ⊃ C)
4. B ∨ E /D ∨ B
5.
6.
7.
8.
9.
F)
1. (~ K • ~N) ⊃ [(~P ⊃ K) ∙ (~R ⊃ G)]
2. K ⊃ N
3. ~N ∙ B
4. ~P ∨ ~R / ~R ∨ G
5.
6.
7.
8.
9.
10.
11.
12.
Answer by solver91311(24713)   (Show Source): You can put this solution on YOUR website!


One problem per post. You will do much better at this once you learn to read and follow instructions. 
1. A -> B
2. A & C   |  B

3. A       2, Conjunction Elimination
4. B       1, Modus Ponens



John

My calculator said it, I believe it, that settles it
RELATED QUESTIONS

Premises: 1. A ⊃ X 2. X ⊃ (B... (answered by math_helper)
Please help me solve this proof! Premises: 1. (A⊃B)&(C⊃D) 2.... (answered by Edwin McCravy)
Does this proof look correct to you? If you notice any mistakes please let me know! Thank (answered by jim_thompson5910)
Give reasons for the steps, given premises 1, 2 and 3:

1.  X ⊃ (Y ⊃  (answered by Edwin McCravy)

Please help!

A ⊃ B
A ⊃ (B ⊃ C)
B ⊃ (C ⊃ D)
∴ A... (answered by Edwin McCravy)

Indirect proof
9. 
1) R
2) (~ C v ~ D) v S
3) ~ (C ⋅ D) ⊃ ~R		/ ∴ S
 (answered by solver91311)

Still having issues on proofs

1.(A⊃S)⊃G
2. A⊃Q
3. G⊃B
4.... (answered by t0hierry)

Using an indirect proof to solve this problem:

1. B ⊃ (C ⊃~B)
2. A... (answered by jim_thompson5910)

Use natural deduction to derive the conclusion of the following arguments. Do not use... (answered by math_helper)