##### Differences

This shows you the differences between two versions of the page.

 cs-401r:proofs [2014/09/05 08:10]ringger created cs-401r:proofs [2014/09/24 15:41] (current)cs401rPML Added link to example proofs page. 2014/09/24 15:41 cs401rPML Added link to example proofs page.2014/09/05 08:10 ringger created 2014/09/24 15:41 cs401rPML Added link to example proofs page.2014/09/05 08:10 ringger created Line 5: Line 5: * Each step must also be justified. ​ If you cannot provide a clear and convincing reason for a particular statement in your proof, then you need to give the matter further thought and consider adding additional steps to improve the argument. * Each step must also be justified. ​ If you cannot provide a clear and convincing reason for a particular statement in your proof, then you need to give the matter further thought and consider adding additional steps to improve the argument. * The last step is the conclusion, namely the statement which you set out to prove. * The last step is the conclusion, namely the statement which you set out to prove. + + See the proofs on the [[example_proofs|example proofs page]]. A bad proof may have the following properties: A bad proof may have the following properties: Line 10: Line 12: * Any step is a simple expression with some value other than true or false. * Any step is a simple expression with some value other than true or false. * Any step violates type constraints;​ e.g., a step that equates a number to a set cannot be valid. ​ Use your mental type-checker! * Any step violates type constraints;​ e.g., a step that equates a number to a set cannot be valid. ​ Use your mental type-checker! + +
cs-401r/proofs.txt ยท Last modified: 2014/09/24 15:41 by cs401rPML
Back to top