CS420 f25 HW1 Grading criteria used for Proof Practice question (10 pts)

01Steve    0.0 	exists1	Correct
02Steve  -10.0	exists2	submitted solution to another problem
03system -10.0	exists5	no page selected to answer question
04Holly    0.0		you used more or fewer proof statements than necessary
05Holly    0.5  exists11 your proof box is not well formed (need rectangular box with line 
			    separating Statements from Justifications)
06Holly    0.0	exists6	your proof statements lack numbers or are not in decimal	   
07Holly   -1.0	exists7	your proof does not include the complete statement that is “given” 					(I’ll call given statement “if PP → QQ”)
08Holly   -1.0	exists9 your proof does not include statement “P” from what is to be proved 					(I’ll call what is to be proved “if P → Q” ) which is assumed true, so
				justification is “assumption if part” 
9Holly    -1.0		your proof does not include statement “Q” from what is to be proved
					as the last statement in the proof 
10Holly   -0.5	exists4	justify mathematical computations as simply “arithmetic” to stay concise 
11Holly   -1.0		list a statement to compute the average from data in ”P”
12Holly   -1.0		list a statement to compare the average to the threshold from “PP”
13Holly   -1.0	exists3	your final statement justification is missing at least one of two 	
				statement numbers and the phrase “modus ponens” that prove the  
				student got an A
14Holly	  -3.0	exists8	your deductive proof is not explicit about assumptions and using modus
				ponens so it is too brief to be fully correct
15Holly	  -1.0	exists10 one statement in your proof table is abbreviated and its justification
				is imprecise