week 5

In week 5, I have learned some basic structure of proof, it is my first time to use that kind of structure to proof something. This is the most difficult part of this week, I have to memorize the structure of proof, also I have looked through my assignment 1 which is hard for me. The biggest thing is term test in this week. Over all, the term test is easier than assignment 1, and I think I did well in this term test

week 4

In week 4, I have learned some basic rule of negation, combing the understanding of week 3, it become much easier to negate a sentence, there are three steps of negation sentence. Firstly, we need to change sentence to symbolic form, next we use basic rule to negate the symbolic form, at last, we change the symbolic form to sentence. I found out that this way is quicker to negate sentence and it has high accuracy. Besides that, I have learned another symbol which mean imply, I think it similar to and, but there are some difference between them. Imply mean there is cause and consequence.

week 3

In this week, I have learned conjunction,disjunction, and negation. I was familiar with conjunction and disjunction which I have learned in my high school. The problem is negation, at first I did not get how to negation some sentence, I have no idea which part of sentence should be negated. There is a example ‘ all employees earning over 110000 are female.’ In this example, I have no idea how to change all employee. At the end of lecture, I have learned a new skill to negate that kind of sentence. All I need is changing the sentence to symbolic form, and then the problem become directly and easy to solve