document.write( "<A HREF=/cgi-bin/jump-to-question.mpl?question=1208837>Question 1208837</A>: <I><SPAN STYLE=\"word-break: break-all;\"> Add the missing rule citations for these proofs: <BR>\n" );
document.write( "1.(F → (G → ¬H))PR<BR>\n" );
document.write( "2.((F ∧ ¬W) → (G ∨ T))PR<BR>\n" );
document.write( "3.(F ∧ ¬T)PR<BR>\n" );
document.write( "4.(W → T)PR<BR>\n" );
document.write( "5.F<BR>\n" );
document.write( "6.¬T<BR>\n" );
document.write( "7.(G → ¬H)<BR>\n" );
document.write( "8.W<BR>\n" );
document.write( "9.T<BR>\n" );
document.write( "10.⊥<BR>\n" );
document.write( "11.¬W<BR>\n" );
document.write( "12.(F ∧ ¬W)<BR>\n" );
document.write( "13.(G ∨ T)<BR>\n" );
document.write( "14.G<BR>\n" );
document.write( "15.¬H<BR>\n" );
document.write( "17.T<BR>\n" );
document.write( "18.⊥<BR>\n" );
document.write( "19.¬H<BR>\n" );
document.write( "20.¬H </SPAN>\n" );
document.write( "</I><HR><TABLE width=100%><TR><TD><B><A HREF=http://www.algebra.com/>Algebra.Com's</A> Answer #847421 by </B><A HREF=/tutors/aboutme.mpl?userid=ikleyn><B>ikleyn(52781)</B></A><img src=\"/images/stars/stars-13.gif\" alt=\"\" >&nbsp;<A HREF=/tutors/aboutme.mpl?userid=ikleyn><IMG SRC=http://www.algebra.com/images/aboutme-small.gif BORDER=0 alt=\"About Me\" VALIGN=MIDDLE></A>&nbsp;<IMG SRC=http://www.algebra.com/cgi-bin/show-face.mpl?user=ikleyn><BR>You can <A HREF=\"/cgi-bin/embed-solution.mpl?show=1&solution=847421\">put this solution on YOUR website!</A><BR><SPAN STYLE=\"word-break: break-all;\"> .\r<BR>\n" );
document.write( "<BR>\n" );
document.write( "\n" );
document.write( "See this link to/from/on AI (= artificial intelligence)\r<BR>\n" );
document.write( "<BR>\n" );
document.write( "\n" );
document.write( "https://www.google.com/search?q=Add+the+missing+rule+citations+for+these+proofs%3A+1.(F+%E2%86%92+(G+%E2%86%92+%C2%ACH))PR+2.((F+%E2%88%A7+%C2%ACW)+%E2%86%92+(G+%E2%88%A8+T))PR+3.(F+%E2%88%A7+%C2%ACT)PR+4.(W+%E2%86%92+T)PR+5.F+6.%C2%ACT+7.(G+%E2%86%92+%C2%ACH)+8.W+9.T+10.%E2%8A%A5+11.%C2%ACW+12.(F+%E2%88%A7+%C2%ACW)+13.(G+%E2%88%A8+T)+14.G+15.%C2%ACH+17.T+18.%E2%8A%A5+19.%C2%ACH+20.%C2%ACH&rlz=1C1CHBF_enUS1071US1071&oq=Add+the+missing+rule+citations+for+these+proofs%3A+1.(F+%E2%86%92+(G+%E2%86%92+%C2%ACH))PR+2.((F+%E2%88%A7+%C2%ACW)+%E2%86%92+(G+%E2%88%A8+T))PR+3.(F+%E2%88%A7+%C2%ACT)PR+4.(W+%E2%86%92+T)PR+5.F+6.%C2%ACT+7.(G+%E2%86%92+%C2%ACH)+8.W+9.T+10.%E2%8A%A5+11.%C2%ACW+12.(F+%E2%88%A7+%C2%ACW)+13.(G+%E2%88%A8+T)+14.G+15.%C2%ACH+17.T+18.%E2%8A%A5+19.%C2%ACH+20.%C2%ACH&gs_lcrp=EgZjaHJvbWUyBggAEEUYOdIBCTIzMjVqMGoxNagCCLACAQ&sourceid=chrome&ie=UTF-8\r<BR>\n" );
document.write( "<BR>\n" );
document.write( "<BR>\n" );
document.write( "\n" );
document.write( "When you need to learn on how many is 2 x 2, the best and the fastest way is to ask AI.\r<BR>\n" );
document.write( "<BR>\n" );
document.write( "\n" );
document.write( "A question still will remain opened - what will you learn from it and what knowledge will you gain after it.\r<BR>\n" );
document.write( "<BR>\n" );
document.write( "<BR>\n" );
document.write( "\n" );
document.write( " </SPAN>\n" );
document.write( "</TD></TR></TABLE>\n" );