Proof Structures

I have found that using proof structures to help prove or disprove statements is very helpful.
I found that using indentations after every universal term to help understand what needs to be truly focused on in the end makes it visually easier to follow. It also make sense to not indent existential variables which have to have specific values selected as part of proof or disproof.I find it visually helpful, to see how far we are looking into a given condition.


< condition >
assume x = {set of numbers}  # x is generic
        assume y = {set of numbers}  # y is generic
          .
          .
          .
Therefore < condition >

(for universal quantifiers)


< condition >
Let x = {set of numbers}  # x is a certain number
Let y = {set of numbers}  # y is a certain number
          .
          .
          .
Therefore < condition >

(for existential quantifiers)

I Have Come Back

It has been over two months since I made an entry, I now have the time to share to the public some of the things that I have experienced in CSC165H1 since my last entry. I will talk about it above.