















































Study with the several resources on Docsity
Earn points by helping other students or get them with a premium plan
Prepare for your exams
Study with the several resources on Docsity
Earn points to download
Earn points by helping other students or get them with a premium plan
Mathematics is important anf learning this will help yiu
Typology: Lecture notes
1 / 55
This page cannot be seen from the preview
Don't miss anything!
















































Logic and mathematical reasoning have numerous applications in computer science. Rules in logic are used in the design of computer circuits, the development of computer programs, the verification of the correctness of programs, and many other ways.
Propositions 1, 2, 3 are true, whereas 4 is false.
An acceptable proposition is given the decision value true (or 1 ) , while an unacceptable statement is assigned a decision value false (or 0 ). An array of decision value (truth value) is called a logical matrix (or truth table).
Statement or Proposition P ^ Q True if and only if P and Q are both true P v Q True if and only if P is true or Q is true or both are true P Q True under all circumstances except when P is true and Q is false. P Q True if and only if P and Q are both true or both false ➢ Must express a complete thought ➢ A declarative sentence or statement that is either true or false but not both.
The matrix gives 2 possible decisions for q, since a proposition may either be T or F. Table 1: The Truth Matrix of the Negation of a Proposition p q 1 0
Table 2: The Truth Matrix for the Conjunction of the 2 Propositions