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 ->
Proofs
-> 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
Log On
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.
(