Week Five of Death

    The test was not too bad after all, it gave me confident and morale boost. However, I know the buff is not going maintain for a long period of time; there is always a time frame. Due to the test, not too much materials were introduced this week. It cover mainly the structure of proof; the outline is strict and fundamental. However, by doing proofs in the structure insisted allow me to understand the proof more logically as I travel into the different realm of world. In addition, it is suitable for many proofs. Moreover, it amazes me how a simple proof can be completed by the depiction of an example.

For example to prove for existence:    

S : There exists a dog in the zoo such that it is blue. 

In order to prove the statement. The presences of a blue dog is sufficient. 

Structures of proof remain constant for all types of proofs: existence, case, contradiction, etc. 

Being slaughtered by the test, give me a chance to rest and I promise a problem solving in return.