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. |
||
---|---|---|---|

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! | ||

+ | |||

+ | |||