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

cs-312:hw7.5 [2014/12/31 15:57] ringger created |
cs-312:hw7.5 [2014/12/31 16:25] (current) ringger |
||
---|---|---|---|

Line 14: | Line 14: | ||

- | ''What does a good two-column proof look like? '' Statements are found in the left column and corresponding justifications for each statement are found on the right. Each statement and reason should be numbered for ease of reference. Each statement must be a mathematical statement that has a truth value. For example, an equation (e.g., <math>2x+5 = 1</math>) is either true or not, whereas an expression (e.g., <math>2x+5</math>) does not have truth value. Each step must be justified by a reason in the right column. 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 you may consider adding additional steps to improve the argument. | + | ''What does a good two-column proof look like? '' Statements are found in the left column and corresponding justifications for each statement are found on the right. Each statement and reason should be numbered for ease of reference. Each statement must be a mathematical statement that has a truth value. For example, an equation (e.g., $2x+5 = 1$) is either true or not, whereas an expression (e.g., $2x+5$) does not have truth value. Each step must be justified by a reason in the right column. 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 you may consider adding additional steps to improve the argument. |