SOLUTION: Hello, can you please help me with this problem?
Use one of the indirect proof techniques (reductio ad absurdum or conditional proof) to demonstrate the validity of the argument
Algebra.Com
Question 1041461: Hello, can you please help me with this problem?
Use one of the indirect proof techniques (reductio ad absurdum or conditional proof) to demonstrate the validity of the argument.
~S → (F → L), F → (L → P), therefore, ~S → (F → P)
Answer by jim_thompson5910(35256) (Show Source): You can put this solution on YOUR website!
I'm going to use a conditional proof
| Number | Statement | Lines Used | Reason |
|---|
| 1 | | ~S -> (F -> L) | | |
| 2 | | F -> (L -> P) | | |
| :. | | ~S -> (F -> P) | | |
| | | 3 | ~S | | ACP |
| | | 4 | F -> L | 1,3 | MP |
| | | 5 | (F & L) -> P | 2 | Exp |
| | | 6 | (L & F) -> P | 5 | Comm |
| | | 7 | L -> (F -> P) | 6 | Exp |
| | | 8 | F -> (F -> P) | 4,7 | HS |
| | | 9 | (F & F) -> P | 8 | Exp |
| | | 10 | F -> P | 9 | Taut |
| 11 | | ~S -> (F -> P) | 3-10 | CP |
Abbreviations/Acronyms Used:
ACP = Assumption for Conditional Proof
CP = Conditional Proof
Comm = Commutation
Exp = Exportation
HS = Hypothetical Syllogism
MP = Modus Ponens
Taut = Tautology
RELATED QUESTIONS
Hello team, would you be so kind to assist with this problem below. I’ve tried to figure... (answered by Edwin McCravy)
I need help constructing an indirect proof using reductio ad absurdum for:
~S → (F... (answered by Edwin McCravy)
Choose one of the proofs below and use one of the indirect proof techniques (reductio ad... (answered by jim_thompson5910)
How do I solve ~Q → (L → F), Q → ~A, F → B, L, therefore, ~A v B... (answered by jim_thompson5910)
Solve using the methods of Reductio ad Absurdum
1. ~A∙~B ∴ A↔B (answered by solver91311)
Hello...can someone help me with this?
Use an indirect proof to show that John... (answered by Mathtut)
Hello, Can you please help me with this question: Why would it be difficult to measure an (answered by lynnlo)
Can you help me please?
What are the techniques in solving operations of set preferably... (answered by stanbon)
Hello can you please help me solve this problem?
Use the laws of exponents
9/10... (answered by JBarnum)