This week's lesson was about the possibility of
switching ∀ with ∃ without altering the truthfulness of the
statement. It was very hard for me to understand and a challenging subject!
I still don't understand the graphical explanation and
the difference of switching ∀ԑ with
∃б.
I think I have to see TA to figure out the difference
when they are switched. I also made first step into the "Proof World". I learned the format of proof
and how to draw the consequence from the antecedent.
Looking carefully the format of proof, I was very
impressed by the extent which the human
beings are trying to reach through their logical thinking. I guess that this
lesson would be the most important base for the whole course and should study
intensively to make strong basis.
No comments:
Post a Comment