Convert the following arguments into a formal statements, e.g., define sentences existentially and/or universally quantified statements. Then determine which rules of logic have been applied and explain whether or not they have been applied correctly.

"If you do the homework you will pass the final. Curly did not do the homework. Therefore Curly will not pass the final."

"If you don't do the homework, you won't pass the final. Moe did the homework. Therefore Moe passed the final."

"If you don't do the homework, you won't pass the final. Curly did not do the homework. Therefore Curly did not pass the final."

"If you do the homework you will pass the course. Larry did not do the homework. Therefore Larry will pass the course."