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)