SOLUTION: Proving Logical truths:
[~y⊃(~f∨s)]≡[~f∨(y∨s)]
How do I prove this conditional statement using Indirect Proof method(which I tried and ended at 2
Algebra.Com
Question 734973: Proving Logical truths:
[~y⊃(~f∨s)]≡[~f∨(y∨s)]
How do I prove this conditional statement using Indirect Proof method(which I tried and ended at 20 lines with the problem still unsolved) or conditional Proof method. I know I need to use the conditional Method but I can't figure out where to begin. I know I need to assume the first part....
[~y⊃(~f∨s)
Not sure where to go next.
Answer by lynnlo(4176) (Show Source): You can put this solution on YOUR website!
RELATED QUESTIONS
1. (I&E) ⊃ ~F 2. F∨(G & H) 3. I≡E/ I⊃G (answered by Edwin McCravy)
COMPLETE THE FOLLOWING PROOFS WITHOUT USING CONDITIONAL PROOF OR
INDIRECT PROOF... (answered by robertb)
Please help me create this proof using the 18 rules of inference. I have been working on... (answered by jim_thompson5910)
1. (Q∨R)→(W∨U)
2. W→P
3. Q∙T
4. U→Z
5. S→M
(answered by jim_thompson5910)
1. (Q∨R)→(W∨U)
2. W→P
3. (answered by jim_thompson5910)
1. N ⊃ (F • A)
2. B ⊃ (R • F) / (N ∨ B) ⊃ (A ∨... (answered by Edwin McCravy)
Hello I stuck on this question can you please help?
INSTRUCTIONS: Use natural deduction... (answered by Edwin McCravy)
1. (QvR)->(WvU)
2. W->P
3. Q.T
4. U->Z
5. S->M
6. Sv~Y
7. (PvZ)->~M :. ~Y
(answered by lynnlo)
1. (E ⊃ A) • (F ⊃ A)
2. E ∨ G
3. F ∨ ∼G / A
(answered by Edwin McCravy)