Week 3

Time is going by too fast, its already the third week of classes and as time is going by CSC165 is getting harder and harder. We are still learning the language of mathematics, conjunctions, disjunctions, laws, truth tables. We even learned about predicates, we were given the examples of cars that are ferraris and are red, this example made it easier to understand. This example was used to explain us about conjunctions and disjunctions. We also learned that the negation of a universal quantification is an existential quantification and vice versa. The truth table is used when there are many predicates because in that case sets are not an efficient way. Using the truth table we proved the De Morgan's Law. So after doing all this we got to know that we have almost learnt the language of math. This week the lecture was quite interesting.