document.write( "Question 1187551: I. Evaluate the following arguments:
\n" ); document.write( "1.
\n" ); document.write( "1. ∼B ⊃ [(A ⊃ K ) ⊃ (B v ∼K )] 2. ∼J ⊃ K 3. A ⊃ ∼J 4. ∼B           /~A\r
\n" ); document.write( "\n" ); document.write( "2.
\n" ); document.write( "1. (R ⊃ F) ⊃ [(R ⊃ ∼G) ⊃ (S ⊃ Q)]
2. (Q ⊃ F ) ⊃ (R ⊃ Q)
3. ∼G ⊃ F
4. Q ⊃ ∼G       / S ⊃ F\r
\n" ); document.write( "\n" ); document.write( "II. The following symbolized arguments are missing a premise. Write the premise
\n" ); document.write( "needed to derive the conclusion (last line ), and supply the justification for
\n" ); document.write( "the conclusion. Try to construct the simplest premise needed to derive the
\n" ); document.write( "conclusion.
\n" ); document.write( "1.
\n" ); document.write( "1. C v L
\n" ); document.write( "2. L ⊃ T
\n" ); document.write( "3. ______
\n" ); document.write( "4. L ____\r
\n" ); document.write( "\n" ); document.write( "2.
\n" ); document.write( "1. E ⊃ N
\n" ); document.write( "2. T v ∼E
\n" ); document.write( "3. S ⊃ E
\n" ); document.write( "4. ______
\n" ); document.write( "5. E ____ \r
\n" ); document.write( "\n" ); document.write( "3.
\n" ); document.write( "1. ∼R ⊃ D 2. ∼J ⊃ ∼R 3. N v ∼R 4. ______
\n" ); document.write( "5. ∼F ⊃ ∼R \n" ); document.write( "
Algebra.Com's Answer #819330 by Edwin McCravy(20055)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "I. Evaluate the following arguments:\r\n" );
document.write( "1.\r\n" );
document.write( "1. ∼B ⊃ [(A ⊃ K) ⊃ (B v ∼K)]\r\n" );
document.write( "2. ∼J ⊃ K\r\n" );
document.write( "3. A ⊃ ∼J\r\n" );
document.write( "4. ∼B           /~A\r\n" );
document.write( "\r\n" );
document.write( "5. (A ⊃ K) ⊃ (B v ∼K)        1,4 Modus Ponens\r\n" );
document.write( "6. A ⊃ K                     3,2 Hypothetical Syllogism\r\n" );
document.write( "7. B v ~K                     5,6 Modus Ponens\r\n" );
document.write( "8. ~K                         7,4 Disjunctive Syllogism\r\n" );
document.write( "9. ~K ⊃ ~~J                    2, Transposition\r\n" );
document.write( "10. ~K ⊃ J                     9, Double negation\r\n" );
document.write( "11.  J                      10,8, Modus ponens\r\n" );
document.write( "12. ~~J ⊃ ~A                   3, Transposition\r\n" );
document.write( "13. J ⊃ ~A                    12, Double negation\r\n" );
document.write( "14. ~A                       13,11, Modus Ponens\r\n" );
document.write( "\r\n" );
document.write( "\r\n" );
document.write( "\r\n" );
document.write( "\r\n" );
document.write( "II.\r\n" );
document.write( "1. (R ⊃ F) ⊃ [(R ⊃ ∼G) ⊃ (S ⊃ Q)]\r\n" );
document.write( "2. (Q ⊃ F ) ⊃ (R ⊃ Q)\r\n" );
document.write( "3. ∼G ⊃ F\r\n" );
document.write( "4. Q ⊃ ∼G                        / S ⊃ F\r\n" );
document.write( "\r\n" );
document.write( "5. Q ⊃ F                     4,3, Hypothetical syllogism\r\n" );
document.write( "6. R ⊃ Q                     2,5, Modus ponens\r\n" );
document.write( "7. R ⊃ F                     5,6, Hypothetical syllogism\r\n" );
document.write( "8. (R ⊃ ∼G) ⊃ (S ⊃ Q)       1,7, Modus ponens\r\n" );
document.write( "9. R ⊃ ∼G                    6,4, Hypothetyical syllogism\r\n" );
document.write( "10. S ⊃ Q                    8,9, Modus ponens\r\n" );
document.write( "11. S ⊃ F                    10,5, Hypothetical syllogism\r\n" );
document.write( "\r\n" );
document.write( "
II. The following symbolized arguments are missing a premise. Write the premise
\n" ); document.write( "needed to derive the conclusion (last line ), and supply the justification for
\n" ); document.write( "the conclusion. Try to construct the simplest premise needed to derive the
\n" ); document.write( "conclusion.
This is crazy because the simplest premise is just to copy the\r\n" );
document.write( "conclusion itself as the simplest premise.\r\n" );
document.write( "\r\n" );
document.write( "Edwin
\n" ); document.write( "
\n" );