Assignment follows, and the abbreviation for the rule used. as long as every step is corre line, the proof is correct. you may use any of the eight rules of implication in take to reach the conclusion. you can check each line as you go path you can proof. if you make a mistake, click the line you would like to modify. note: h already-entered line. when you have completed your proof, click check pr an 1 f. u 2 nr l (fv c) (pr) (fv u) (ad p) 4 na add line (use the dropdown menu below if you need remembering the rules of infer rules of impication osearch