Chapter 2 Predicate Logic





2017-10-19
3.30pm
Partner blog: www.makopl9574.blogspot.my
See my video also at
https://youtu.be/jrXsB4VL8_I

Comments

Post a Comment

Popular posts from this blog

Chapter 3 Methods of Proof

Hi, it is already 3 months after I am being back here. Today we should have a look on Chapter 3 Methods of proof. In this Chapter 3, we are going to learn the methods of proof which are really important in forming and verifying an existing formula so that what had been proposed are true. In this chapter, we will just focus on the odd and even integers proof. So, before we enter the main idea of the topic, we shall have a look on the odd and even integers. What did the definition of odd and even integers suppose? There are 3 types of proof. It can be direct proof, contraposition proof and contradiction proof. NOT EVERY THEOREM CAN BE PROVEN USING DIRECT PROOF. So, at here, we are going to discuss on this issue. For more information on this topic, have a look here! https://youtu.be/hAH153TnvwY 2018-01-04 5.00 pm Partner blog: http://makopl9574.blogspot.my
Read more

Chapter 1 Propositional Logic

  This chapter is mainly on how you deal with logic and gates. This is the part 1 of the chapter so I will make it short and precise but you all will be understanding what is going on.   In Chapter 1 of the Discrete Mathematics, basically you will surround in between True(T) and False (F) after you know what is proposition and the eligibility for a sentence to be a proposition (not preposition, they are different things).   A proposition is basically a sentence that can be false or true but not both. It cannot be a question or unsure situation where there exists a variable in the sentence. In Logics, the logical operators or the connectives act as a bridge to connect in between two different propositions, in which we mention it as p and q, normally, although sometimes the propositions given can be up to three or even four, i.e. p, q, r, and s.   Conjunction, disjunction, implication and biimplication are the 4 common logical operators in propositional logic. Wh...
Read more