document.write( "Question 734973: Proving Logical truths: \n" );
document.write( " [~y⊃(~f∨s)]≡[~f∨(y∨s)]\r \n" );
document.write( "\n" );
document.write( "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.... \n" );
document.write( "[~y⊃(~f∨s)\r \n" );
document.write( "\n" );
document.write( "Not sure where to go next. \r \n" );
document.write( "\n" );
document.write( " \n" );
document.write( "
![\"\"](\"/images/stars/stars-13.gif\")
