MyWikiBiz, Author Your Legacy — Friday September 27, 2024
Jump to navigationJump to search
No change in size
, 19:45, 25 March 2009
Line 1,628: |
Line 1,628: |
| ===Step 5 (Extended)=== | | ===Step 5 (Extended)=== |
| | | |
− | <pre>
| |
| Redo the development of the proof tree in existential graph format. | | Redo the development of the proof tree in existential graph format. |
| | | |
− | Each frame of the developmental scheme that follows is divided by | + | Each frame of the developmental scheme that follows is divided by a dotted line, with terms that contribute to the main term under development being shown above it and the main term itself being shown below it. |
− | a dotted line, with terms that contribute to the main term under | |
− | development being shown above it and the main term itself being | |
− | shown below it. | |
| | | |
| + | <pre> |
| o---------------------------------------------------------------------o | | o---------------------------------------------------------------------o |
| | Hypotheses: x : A, y : B, z : A=>(B=>C) | | | | Hypotheses: x : A, y : B, z : A=>(B=>C) | |