SOLUTION: INSTRUCTIONS: Construct a regular proof to derive the conclusion of the following argument: 1. N > R 2. O <> R 3. (O > R) > L / (N > O) & L

Algebra ->  Proofs -> SOLUTION: INSTRUCTIONS: Construct a regular proof to derive the conclusion of the following argument: 1. N > R 2. O <> R 3. (O > R) > L / (N > O) & L      Log On


   

Question 1010734: INSTRUCTIONS: Construct a regular proof to derive the conclusion of the following argument:
1. N > R
2. O <> R
3. (O > R) > L
/ (N > O) & L
Answer by jim_thompson5910(35256) About Me  (Show Source):
You can put this solution on YOUR website!
NumberStatementLines UsedReason
1N -> R
2O <--> R
3(O -> R) -> L
:.(N -> O) & L
4(O -> R) & (R -> O)2Material Equivalence
5(R -> O) & (O -> R)4Commutation
6R -> O5Simplification
7N -> O1,6Hypothetical Syllogism
8O -> R4Simplification
9L3,8Modus Ponens
10(N -> O) & L7,9Conjunction