SOLUTION: Construct proofs using the Rules of Inference and the Rules of Replacement. The conclusion appears after the slash. 1. (A v B) v C 2. ~A / C v B

Question 193056: Construct proofs using the Rules of Inference and the Rules of Replacement. The conclusion appears after the slash.
1. (A v B) v C
2. ~A / C v B

Answer by jim_thompson5910(35256) (Show Source): You can put this solution on YOUR website!

1.  (A v B) v C
2.   ~A   / C v B
-----------------------
3.   A v (B v C)           1     Association
4.   B v C                 3,2   Disjunctive Syllogism
5.   C v B                 4     Commutation

RELATED QUESTIONS
Construct proofs using the Rules of Inference and the Rules of Replacement. The... (answered by jim_thompson5910)

Construct proofs using the Rules of Inference and the Rules of Replacement. The... (answered by jim_thompson5910)

complete the following proofs using only the Rules of Inference,The conclusion appears... (answered by richwmiller)

Solve the problem using rules of inference and replacement: Premise 1) Q v (R . S)... (answered by solver91311)

use the inference rules, replacement rules, indirect proof and/or conditional proof to... (answered by mccravyedwin,Edwin McCravy)

Can you please assist me with these problems? We are using the Rules of Inference and the (answered by jim_thompson5910)

Construct proofs for the following using the basic rules of inference. a. C ⊃ (∼A... (answered by Solver92311)