SRI VENKATESWARA COLLEGE OF ENGINEERING AND TECHNOLOGY MA DISCRETE MATHEMATICS

Size: px
Start display at page:

Download "SRI VENKATESWARA COLLEGE OF ENGINEERING AND TECHNOLOGY MA DISCRETE MATHEMATICS"

Transcription

1 1 MA DISCRETE MATHEMATICS UNIT I - LOGIC AND PROOFS Propositional Logic Propositional equivalences-predicates and quantifiers-nested Quantifiers- Rules of inference-introduction to Proofs-Proof Methods and strategy PART A 1. Define conjunction and draw a truth table for it. 2. Define disjunction and draw a truth table for it. 3. Define disjunction and draw a truth table for it. 4. Give the truth table for conditional statement. 5. Write the truth table for bi-conditional statement. 6. Define a tautology. 7. Define a contradiction. 8. Define functionally complete set of connectives 9. State De Morgan laws. 10. Negate and simplify the statement ( p q) r 11. State the truth value of If tigers have wings then the earth travels round the sun. 12. Write the negation of the following preposition: To enter into the country you need a passport or a voter registration card. 13. Construct the truth table for q (p q) p 14. Whether (p q ) ( p q) is a tautology 15. S.T p (p q) is a tautology. 16. Verify (p q) p is a tautology. 17. Define conjunctive normal form. 18. Write the formula without conditional statement ( p q) r 19. Write the formula free from conditional statement p ( q r ) 20. Write down the implication for modus ponens, modus tollens, hypothetical syllogism and dilemma 21. Give the converse and contra positive of the implication If it is raining then I get wet. 22. P.T ( p q ) q p 23. S.T the set [, ] is not a functionally complete set of connectives. 24. Using the truth table show that p (q r) (p q) r 25. S.T the statement is a contradiction (p q) ( p q) ( use Table) 26. Explain the two types of quantifiers with example. 27. Symbolize: Given a positive integer, there is a greatest positive integer 28. Symbolize: For every x, there exist a t s.t x 2 + y Using the predicate calculus symbolize x is the brother of the sister of y 30. Symbolize the expression All the world loves a lover 31. Express 2 is an irrational number using quantifiers. 32. Symbolic form Everyone who is healthy can do all kind of work 33. Symbolic form : The sum of two positive integer is positive 34. Symbolic form: (a) All babies are innocent (b)there is an integer such that it is odd and prime. 35. Using quantifiers, express the following statements over the universe, the set of rational numbers (a) 5 is irrational (b) Subtraction of two rational numbers is rational

2 2 PART B Construct the truth table 1) ( p ( q r) ) (q r ) ( p r ) Show the following 2) q (p q) ( p q) is a tautology. 3) ((p q) ~(~p ( ~ q ~ r))) (~p ~q) ( ~p ~r) is a tautology 4) Test the formula for tautology or contradiction q (p q ) ( p q ) 5) (p q) (r q) (p r) q. 6) S.T ( p q) (r q) (p r) q 7) ( ~ p ( ~ q r)) (q r) (p r) r 8) ( p (q s) ( r p) q r s 9) ( p q ) ( p ( p q )) ( p q) 10) S R is tautologically implied by ( p q ) ( p r ) ( q s) Find the PDNF & PCNF of the following 11) ( a c) ( b a) 12) p (( p q) ~(~q ~ p) 13) (p ( q r )) ( ~ p ( ~q ~r )) 14) p ( ~ p ( q ( ~ q r))) S.T the set of premises are inconsistent 15) p q, q s, r ~ s and p r 16) r (p q) from p q, q r, p m & ~m. 17) Derive: p s from ~ p q, ~q r, r s 18) Prove by indirect method: p q, q r, p v r r 19) Prove by rule cp: derive p ( q s) from : p ( q r), q ( r s) Discuss the validity of the argument 20) a)all educated persons are well behaved. b) Ram is educated. c)no well behaved person is quarrelsome, d) Therefore Ram is not quarrelsome. 21) a)if Abraham works hard then either Bob or Caroline will enjoy themselves. b) If Bob enjoys himself then Abraham will not work hard. c)if Daryl enjoys himself the Caroline will not. S.T If Abraham works hard, then Daryl will not enjoy himself d) It is not sunny this afternoon and it is colder than yesterday e) we will go swimming only if it is sunny f) If we do not go swimming then we will take a canoe trip and g) if we take a canoe trip, then we will be home by sunset lead to the conclusion we will be home by sunset 22) a)if Jack misses many classes through illness, then he fails high school b) If Jack fails high school, then he is uneducated

3 3 c)if Jack reads a lot of books then he is not uneducated d) Jack misses many classes through illness and reads a lot of books. 23) a)if the contract is valid then John is liable for penalty b) If John is liable for penalty, he will go bankrupt. c)if the bank will loan him money, he will not go bankrupt. As a matter of fact, the contract is valid and the bank will loan him money. 24) Use the indirect method of proof in establishing the implication ( x)[(p(x) Q(x)] ( x)[p(x)] ( x)[ Q(x)] 25) Prove formally : ( x)[ P(x)] ( x)[ (P(x) Q(x)] Using a counter example S.T the converse is not true 26) Let A= { 1, 2, 3, 4, 5, 6 } determine the truth value of each of the following (i) ( x A) { x 2 > 25} (ii) ( x A) { x + 6 > 12 (iii) ( x A) { x 2 x < 30 ) 27) S.T from (a) ( x)[(f(x) S(x)] ( y)[ M(y)] W(y) (b) ( y)[(m(y) ~ W(y)] the conclusion ( x)[ F (x) ~ S(x) follows. Verify the validity of the following arguments 28) a)some students attend logic lectures diligently. b) No student attends boring logic lecture diligently. c)sean s lectures on logic are attended diligently by all students. d) Therefore none of Sean s logic lectures are boring. 29) a)every living things is a plant or an animal. b) David s dog is alive and it is not a plant. c)all animals have hearts. d) Hence David s dog has a heart. 30) a)if an integer is divisible by 10 then it is divisible by 2. b) If an integer is divisible by 2 then it is divisible by 3. c)therefore an integer divisible by 10 is divisible by 3

4 4 UNIT IV ALGEBRAIC STRUCTURES Algebraic systems-semi groups and monoids-groups-subgroups and homomorphisms-cosets and Lagrange s theorem- Ring & Fields (Definitions and examples) Ref: Discrete Mathematical Structures with Applications to Computer Science Tremblay & Manohar Sec 3.1, 3.2, 3.5 PART A 1. Define algebraic system with an example. 2. Define homomorphism with example. 3. Define epimorphism with example 4. Define monomorphism with example 5. Define isomorphism with example. 6. Define endomorphism with example 7. Define automorphism with example 8. Define sub algebra with example. 9. Define factor algebra with example. 10. Define semi group with example. 11. Define monoid with example. 12. Define semi group homomorphism. 13. Define monoid homomorphism 14. Define sub semi group with example. 15. Define sub monoid with example. 16. Define direct product with example. 17. Give an example which is a semi group but not monoid P.T the identity element of a group is unique. 20. P.T: Intersection of two normal subgroup of a group is a normal subgroup. 21. Give a necessary and sufficient condition for non-empty subset of a group( G *) to be a subgroup of G 22. S.T by using an example the union of two subgroup of a group G need not be a subgroup 23. Let G be a group s.t x 2 = x for all x (G. S.T G is abelian. 24. Find the GLB & LUB of the set {3, 6, 12 } if they exist in the poset ( Z+, / ) where a/b stands for a divides b. 25. Give an example for non- abelian group. 26. Define normal sub group 27. Define group codes. 28. Give an example of a finite non abelian group. PART B 1) S.T if every element in a group is its own inverse, then the group must be an abelian. 2) S.T every finite group of order n is isomorphic to a permutation group of degree n. 3) If f: G G1 is a group homomorphism P.T Ker f is a normal subgroup of G. 4) Prove that the collection of even permutations is a normal subgroup of the symmetric group.

5 5 5) P.T the intersection of any two normal subgroup of a group is normal. 6) Define a normal subgroup of a group. Give an example. Let G be a group and N ={x G: xy = yx, y G} S.T N is a normal sub group of G. 7) Define a coset of a subgroup H of a group G. Find all the left cosets of the subgroup H = ( p1, p2) of the symmetric group S3 where_ EMBED Equation.3 _Is H a normal subgroup of G? 8) Define the term weight and distance in the context of group codes. S.T the minimum weight of the nonzero code words in a group code is equal to its minimum distance. 9) S.T the set N of natural number is a semi group under the operation x * y = max{x, y}. Is it a monoid? Is the operation commutative? 10) State & prove Lagrange s theorem for groups. 11) Let (G,*) and (H,*) be groups and g: G ( H be a homomorphism. Then prove that the kernel of g is a normal subgroup of G. 12) P.T every subgroup of a cyclic group is cyclic. 13) S.T a non empty subset of H of a group ( G,* ) is a subgroup of G iff a,b H ( a * b -1 H 14) P.T every cyclic group of order n isomorphic to the group (Z n, t n ). P.T the order or a group of a finite group divides the order of the group. 15) P.T the subgroup of a cyclic group is also cyclic 16) State and prove the cayleys theorem on permutation group 17) S.T every subgroup of a cyclic group is normal 18) Define subgroup If A & B are two subgroup of (G,*), P.T A B is a subgroup of (G,*). Is A U B a subgroup of (G,*) 19) P.T any semigroup can be extended to monoid by adjoining an identity element. P.T for any commutative monoid ( M,*) the set of idempotent elements of M forms a submonoid UNIT V LATTICES AND BOOLEAN ALGEBRA Partial ordering-posets-lattices as Posets- Properties of lattices-lattices as Algebraic systems Sub lattices direct product and Homomorphism-Some Special lattices-boolean Algebra PART A 1. Define the transitive closure of a binary relation R with an example 2. Define least and greatest member of a poset. 3. Define a partial ordering relation with an example 4. Let R 1 & R 2 be two compatible relations on a set A. Is R 1 R 2 a compatible relation? 5. If A = { x / x 2 1 = 0} and B = { x / x 2-3x + 2 = 0 }Find A B and A B 6. Define partial order relation and find a partial ordering on the power set of a given set. 7. Let T = {1, 2, 3, 4, 5}. How many subset of T have less than 4 elements? 8. Give an example of a relation on a set which is neither symmetric nor anti symmetric 9. Draw a Hasse diagram of the set of partitions of Define reflexive closure of a set. 11. Give an example for the composition of two function which is not commutative 12. Define partial order relation. 13. Obtain the power set of { a, b,c } 14. Establish the binary relation on the set A = { 1, 3, 5 }which is a symmetric relation 15. What are disjoint sets? Give an examples 16. List all the proper subsets of { 1,2,3}

6 6 17. Let A = { 1,2,3,4} and r be the relation ( on A. Draw the Hasse diagram of r. 18. Let R be the relation on A = { 2,3,4,6,9} defined by x is relatively prime to y Write R as the set of order pairs. 19. Define least element of a poset. 20. Define distributive lattice. 21. In a lattice ( L, ) using usual notation S.T a ( a b ) = a for all a,b L 22. Define a lattice 23. Simplify the Boolean function (f(x, y) = x+ xy 24. In a Boolean algebra, P.T a = b ( ab + a b = In a Boolean algebra, S.T ( a+ b) ( a + c)= a b + ac + bc 26. In a Boolean Algebra a ( a b)= a b 27. P.T every finite lattice is bounded. 28. In Boolean algebra B, P.T a + a.b = a where a,b B. 29. List The three elements sub sets of { a,e.i,o,u} 30. Is ( z, - ) is a semi group. Justify. 31. P.T in a lattice (L, ), a 0 = 0 a = a L. 32. If A= {2,3} ( X = { 2,3,6,12,24,36} and the relation is s.t x y if x divides y, find the least and greatest element for A 33. Draw the Hasse diagram of (X, ) where X is the set of positive divisors of 45 and the relation is such that = { (x,y): x A, y A (x divides y)} 34. Is the lattice of devisors of 32 a Boolean algebra? PART B 1) Let (P, ) be a partially ordered set. Suppose the length of the largest chain in P is n. Then show that the elements in P can be partitioned into a disjoint antichain. 2) Let R be a binary relation on the set of all strings of 0 s & 1 s such that R= {(a,b) / a & b are strings that have the same number of 0 s }. Is R reflexive? Symmetric? Anti symmetric? Transitive? An equivalence relation? A Partial order relation 3) If A,B and C are sets prove that A (B C) = ( A B ) (A C) 4) Let X = ({ 1, 2, 3, 4, 20} and R ={(x,y) / x-y is divisible by 5 } be a relation on X. S.T R is an equivalence relation 5) Explain WARSHALL s algorithm 6) If A, B and C are any three sets, P.T A- ( B C ) = ( A B ) (A C ). 7) Let X = { 1, 2, 3, 4, 5, 6, 7 } and R = { < x, y > x-y is divisible by 3}. S.T R is an equivalence relation. 8) If A, B & C are sets P.T A ( B C) = ( A B) ( A C) with out Venn diagram. 9) If the relation R is defined by xry iff x= (y (mod 5) on S = ( 1, 2, 3,.20) verify that R is an equivalence relation. Find also the partition of S induced by R. 10) Check whether ( P(S), ) is a poset where P(S) is the power set of S and the relation is subset. If it is a poset, determine whether it is lattice or not. 11) Draw the Hasse diagram for divisibility on the set {1, 2, 3, 5, 11, &13} Is it a lattice? 12) Let R be a binary relation and S= {(a,b)/(a,c) (R and (c,b) R for some c} P.T if R is an equivalence relation, then S is also an equivalence. 13) Given R be a reflexive relation on a set A, S.T R is an equivalence relation iff (a,b) & (a,c) are in R implies that (b,c) is in R.

7 7 14) If R is an equivalence relation on an arbitrary set, P.T the set of all equivalence classes constitute a partition of A. 15) Consider the subset A= {1,7,8} B={ 1,6,9,10} & C = ( 1,9,10} where U = ( 1,2,3,..10}List the non empty mini sets generated by A,B,& C. Do they form a partition of U. 16) If A,B & C are sets. P.T A x ( B C ) = ( A x B ) ( A x C) 17) For any two sets A & B, P.T A ( A B ) = A B 18) Given S = { 1,2,3 10 } and the relation R on S where R = { (x,y) / x+ y = 10 }what are the properties of the relation. 19) Let X = { 1,2,. 7} and R { (x,y) / x- y is divisible by 3 } S.T R is an equivalence relation Draw the graph of R. 20) If the relation R defined on S = {1,2,3, 20} br xry iff x y (mod 5) verify that R is an equivalence relation. Find also partition of S induced by R 21) Simplify the Boolean function f( A, B, C, D) = ( (0, 2, 3, 4, 8, 9, 10, 13) 22) Define a lattice homomorphism. S.T a lattice homomorphism preserves the partial order structure. Give an example for isomorphic lattices. 23) Define a distributive lattices with an example. Let ( L,+, ) be a distributive lattice. S.T for any a, b, c L a*b = a*c and a b = a c imply b = c. Hence S.T If L has a complement, it is unique. 24) S.T any finite Boolean algebra is isomorphic to the Boolean algebra of a power set. 25) For any Boolean algebra, S.T a = b iff ab + a b = 0 26) Define an algebraic lattice L. Define a relation on L in such a way that L become a lattice as a partial ordered set 27) Let R be the set of real numbers 0n [0, 1] and be the usual operation of less than or equal to on R. S.T (R., ) is a lattice. What are the operations to meet and join on this lattice? 28) In a Boolean algebra, P.T(a+b )b + c )(c+a )=(a +b)(b +c)(c +a). 29) In any Boolean algebra S.T (a.b )+(b.a )=(a+b). (a +b ) 30) Define a complemented lattice. P.T the complement a of any element a in a complemented lattice is unique. 31) Let f, f1 & f2 be three functions from B n to B P.T is s(f) = s(f 1 )(s (f 2 ), then f(b) = f 1 (b)(f 2 (b), b B. Hence P.T any function f : B n B is produced by Boolean function. 32) Simplify the Boolean function F(x,y,z) = (x (z)((x (y) ((x(y (z) ((y(z) 33) Find the sum-of-product form of the Boolean function f(x,y,z,w) = xy + yw z 34) Let R be a relation on a set A. Then define R -1 ={(a,b)(axa /(b,a) R. P.T if ( A, R ) is a poset then (A, R -1 ) is also poset. 35) In the Boolean algebra of all divisors of 70, find all subalgebras. 36) Draw the Hasse diagram of (P(A),() where P(A) denotes the power set of A= { a,b,c} 37) Define a Boolean algebra and S.T by an example no five element Boolean Algebra can exist

MaanavaN.Com MA1256 DISCRETE MATHEMATICS. DEPARTMENT OF MATHEMATICS QUESTION BANK Subject & Code : MA1256 DISCRETE MATHEMATICS

MaanavaN.Com MA1256 DISCRETE MATHEMATICS. DEPARTMENT OF MATHEMATICS QUESTION BANK Subject & Code : MA1256 DISCRETE MATHEMATICS DEPARTMENT OF MATHEMATICS QUESTION BANK Subject & Code : UNIT I PROPOSITIONAL CALCULUS Part A ( Marks) Year / Sem : III / V. Write the negation of the following proposition. To enter into the country you

More information

1. a. Give the converse and the contrapositive of the implication If it is raining then I get wet.

1. a. Give the converse and the contrapositive of the implication If it is raining then I get wet. VALLIAMMAI ENGINEERING COLLEGE DEPARTMENT OF MATHEMATICS SUB CODE/ TITLE: MA6566 DISCRETE MATHEMATICS QUESTION BANK Academic Year : 015-016 UNIT I LOGIC AND PROOFS PART-A 1. Write the negation of the following

More information

Tutorial Obtain the principal disjunctive normal form and principal conjunction form of the statement

Tutorial Obtain the principal disjunctive normal form and principal conjunction form of the statement Tutorial - 1 1. Obtain the principal disjunctive normal form and principal conjunction form of the statement Let S P P Q Q R P P Q Q R A: P Q Q R P Q R P Q Q R Q Q R A S Minterm Maxterm T T T F F T T T

More information

MA Discrete Mathematics

MA Discrete Mathematics MA2265 - Discrete Mathematics UNIT I 1. Check the validity of the following argument. If the band could not play rock music or the refreshments were not delivered on time, then the New year s party would

More information

Simplification by Truth Table and without Truth Table

Simplification by Truth Table and without Truth Table SUBJECT NAME SUBJECT CODE : MA 6566 MATERIAL NAME REGULATION : Discrete Mathematics : University Questions : R2013 UPDATED ON : June 2017 (Scan the above Q.R code for the direct download of this material)

More information

Simplification by Truth Table and without Truth Table

Simplification by Truth Table and without Truth Table SUBJECT NAME SUBJECT CODE : MA 6566 MATERIAL NAME REGULATION : Discrete Mathematics : University Questions : R2013 UPDATED ON : April-May 2018 BOOK FOR REFERENCE To buy the book visit : Sri Hariganesh

More information

Simplification by Truth Table and without Truth Table

Simplification by Truth Table and without Truth Table Engineering Mathematics 2013 SUBJECT NAME SUBJECT CODE MATERIAL NAME MATERIAL CODE REGULATION UPDATED ON : Discrete Mathematics : MA2265 : University Questions : SKMA1006 : R2008 : August 2013 Name of

More information

DEPARTMENT OF MATHEMATICS. MA1301 Discrete Mathematics

DEPARTMENT OF MATHEMATICS. MA1301 Discrete Mathematics SHRI ANGALAMMAN COLLEGE OF ENGINEERING AND TECHNOLOGY (An ISO 9001:2000 Certified Institution) SIRUGANOOR, TIRUCHIRAPPALLI 621 105 DEPARTMENT OF MATHEMATICS MA1301 Discrete Mathematics UNIT-I PART-A 1.Give

More information

Anna University, Chennai, November/December 2012

Anna University, Chennai, November/December 2012 B.E./B.Tech. DEGREE EXAMINATION, NOVEMBER/DECEMBER 2012 Fifth Semester Computer Science and Engineering MA2265 DISCRETE MATHEMATICS (Regulation 2008) Part - A 1. Define Tautology with an example. A Statement

More information

VALLIAMMAI ENGINEERING COLLEGE SRM Nagar, Kattankulathur

VALLIAMMAI ENGINEERING COLLEGE SRM Nagar, Kattankulathur VALLIAMMAI ENGINEERING COLLEGE SRM Nagar, Kattankulathur 603 203. DEPARTMENT OF COMPUTER SCIENCE ENGINEERING SUBJECT QUESTION BANK : MA6566 \ DISCRETE MATHEMATICS SEM / YEAR: V / III year CSE. UNIT I -

More information

B B3B037 Total Pages:3

B B3B037 Total Pages:3 B B3B037 Total Pages:3 Reg. No. Name: APJ ABDUL KALAM TECHNOLOGICAL UNIVERSITY THIRD SEMESTER B.TECH DEGREE EXAMINATION, JANUARY 2017 Course Code: CS 201 Course Name: DISCRETE COMPUTATIONAL STRUCTURES

More information

Packet #2: Set Theory & Predicate Calculus. Applied Discrete Mathematics

Packet #2: Set Theory & Predicate Calculus. Applied Discrete Mathematics CSC 224/226 Notes Packet #2: Set Theory & Predicate Calculus Barnes Packet #2: Set Theory & Predicate Calculus Applied Discrete Mathematics Table of Contents Full Adder Information Page 1 Predicate Calculus

More information

3/29/2017. Logic. Propositions and logical operations. Main concepts: propositions truth values propositional variables logical operations

3/29/2017. Logic. Propositions and logical operations. Main concepts: propositions truth values propositional variables logical operations Logic Propositions and logical operations Main concepts: propositions truth values propositional variables logical operations 1 Propositions and logical operations A proposition is the most basic element

More information

Sample Problems for all sections of CMSC250, Midterm 1 Fall 2014

Sample Problems for all sections of CMSC250, Midterm 1 Fall 2014 Sample Problems for all sections of CMSC250, Midterm 1 Fall 2014 1. Translate each of the following English sentences into formal statements using the logical operators (,,,,, and ). You may also use mathematical

More information

Unit I (Logic and Proofs)

Unit I (Logic and Proofs) SUBJECT NAME SUBJECT CODE : MA 6566 MATERIAL NAME REGULATION : Discrete Mathematics : Part A questions : R2013 UPDATED ON : April-May 2018 (Scan the above QR code for the direct download of this material)

More information

Unit I LOGIC AND PROOFS. B. Thilaka Applied Mathematics

Unit I LOGIC AND PROOFS. B. Thilaka Applied Mathematics Unit I LOGIC AND PROOFS B. Thilaka Applied Mathematics UNIT I LOGIC AND PROOFS Propositional Logic Propositional equivalences Predicates and Quantifiers Nested Quantifiers Rules of inference Introduction

More information

Intro to Logic and Proofs

Intro to Logic and Proofs Intro to Logic and Proofs Propositions A proposition is a declarative sentence (that is, a sentence that declares a fact) that is either true or false, but not both. Examples: It is raining today. Washington

More information

Rules Build Arguments Rules Building Arguments

Rules Build Arguments Rules Building Arguments Section 1.6 1 Section Summary Valid Arguments Inference Rules for Propositional Logic Using Rules of Inference to Build Arguments Rules of Inference for Quantified Statements Building Arguments for Quantified

More information

UNIVERSITY OF CALICUT SCHOOL OF DISTANCE EDUCATION B Sc (MATHEMATICS) I Semester Core Course. FOUNDATIONS OF MATHEMATICS (MODULE I & ii) QUESTION BANK

UNIVERSITY OF CALICUT SCHOOL OF DISTANCE EDUCATION B Sc (MATHEMATICS) I Semester Core Course. FOUNDATIONS OF MATHEMATICS (MODULE I & ii) QUESTION BANK UNIVERSITY OF CALICUT SCHOOL OF DISTANCE EDUCATION B Sc (MATHEMATICS) (2011 Admission Onwards) I Semester Core Course FOUNDATIONS OF MATHEMATICS (MODULE I & ii) QUESTION BANK 1) If A and B are two sets

More information

WUCT121. Discrete Mathematics. Logic. Tutorial Exercises

WUCT121. Discrete Mathematics. Logic. Tutorial Exercises WUCT11 Discrete Mathematics Logic Tutorial Exercises 1 Logic Predicate Logic 3 Proofs 4 Set Theory 5 Relations and Functions WUCT11 Logic Tutorial Exercises 1 Section 1: Logic Question1 For each of the

More information

NORTHERN INDIA ENGINEERING COLLEGE, LKO D E P A R T M E N T O F M A T H E M A T I C S. B.TECH IIIrd SEMESTER QUESTION BANK ACADEMIC SESSION

NORTHERN INDIA ENGINEERING COLLEGE, LKO D E P A R T M E N T O F M A T H E M A T I C S. B.TECH IIIrd SEMESTER QUESTION BANK ACADEMIC SESSION NORTHERN INDIA ENGINEERING COLLEGE, LKO D E P A R T M E N T O F M A T H E M A T I C S B.TECH IIIrd SEMESTER QUESTION BANK ACADEMIC SESSION 011-1 DISCRETE MATHEMATICS (EOE 038) 1. UNIT I (SET, RELATION,

More information

COMP 182 Algorithmic Thinking. Proofs. Luay Nakhleh Computer Science Rice University

COMP 182 Algorithmic Thinking. Proofs. Luay Nakhleh Computer Science Rice University COMP 182 Algorithmic Thinking Proofs Luay Nakhleh Computer Science Rice University 1 Reading Material Chapter 1, Section 3, 6, 7, 8 Propositional Equivalences The compound propositions p and q are called

More information

software design & management Gachon University Chulyun Kim

software design & management Gachon University Chulyun Kim Gachon University Chulyun Kim 2 Outline Propositional Logic Propositional Equivalences Predicates and Quantifiers Nested Quantifiers Rules of Inference Introduction to Proofs 3 1.1 Propositional Logic

More information

Review: Potential stumbling blocks

Review: Potential stumbling blocks Review: Potential stumbling blocks Whether the negation sign is on the inside or the outside of a quantified statement makes a big difference! Example: Let T(x) x is tall. Consider the following: x T(x)

More information

Lecture Notes on DISCRETE MATHEMATICS. Eusebius Doedel

Lecture Notes on DISCRETE MATHEMATICS. Eusebius Doedel Lecture Notes on DISCRETE MATHEMATICS Eusebius Doedel c Eusebius J. Doedel, 009 Contents Logic. Introduction............................................................................... Basic logical

More information

Discrete Mathematics Logics and Proofs. Liangfeng Zhang School of Information Science and Technology ShanghaiTech University

Discrete Mathematics Logics and Proofs. Liangfeng Zhang School of Information Science and Technology ShanghaiTech University Discrete Mathematics Logics and Proofs Liangfeng Zhang School of Information Science and Technology ShanghaiTech University Resolution Theorem: p q p r (q r) p q p r q r p q r p q p p r q r T T T T F T

More information

B.E./B.Tech. DEGREE EXAMINATION, NOVEMBER/DECEMBER Fifth Semester. Computer Science and Engineering MA 2265 DISCRETE MATHEMATICS

B.E./B.Tech. DEGREE EXAMINATION, NOVEMBER/DECEMBER Fifth Semester. Computer Science and Engineering MA 2265 DISCRETE MATHEMATICS B.E./B.Tech. DEGREE EXAMINATION, NOVEMBER/DECEMBER 2010 Fifth Semester Computer Science and Engineering MA 2265 DISCRETE MATHEMATICS (Regulation 2008) Time : Three hours Maximum : 100 Marks Answer ALL

More information

Sets and Motivation for Boolean algebra

Sets and Motivation for Boolean algebra SET THEORY Basic concepts Notations Subset Algebra of sets The power set Ordered pairs and Cartesian product Relations on sets Types of relations and their properties Relational matrix and the graph of

More information

Discrete Structures of Computer Science Propositional Logic III Rules of Inference

Discrete Structures of Computer Science Propositional Logic III Rules of Inference Discrete Structures of Computer Science Propositional Logic III Rules of Inference Gazihan Alankuş (Based on original slides by Brahim Hnich) July 30, 2012 1 Previous Lecture 2 Summary of Laws of Logic

More information

Introduction Logic Inference. Discrete Mathematics Andrei Bulatov

Introduction Logic Inference. Discrete Mathematics Andrei Bulatov Introduction Logic Inference Discrete Mathematics Andrei Bulatov Discrete Mathematics - Logic Inference 6-2 Previous Lecture Laws of logic Expressions for implication, biconditional, exclusive or Valid

More information

Boolean Algebra and Proof. Notes. Proving Propositions. Propositional Equivalences. Notes. Notes. Notes. Notes. March 5, 2012

Boolean Algebra and Proof. Notes. Proving Propositions. Propositional Equivalences. Notes. Notes. Notes. Notes. March 5, 2012 March 5, 2012 Webwork Homework. The handout on Logic is Chapter 4 from Mary Attenborough s book Mathematics for Electrical Engineering and Computing. Proving Propositions We combine basic propositions

More information

Logic Overview, I. and T T T T F F F T F F F F

Logic Overview, I. and T T T T F F F T F F F F Logic Overview, I DEFINITIONS A statement (proposition) is a declarative sentence that can be assigned a truth value T or F, but not both. Statements are denoted by letters p, q, r, s,... The 5 basic logical

More information

Packet #1: Logic & Proofs. Applied Discrete Mathematics

Packet #1: Logic & Proofs. Applied Discrete Mathematics Packet #1: Logic & Proofs Applied Discrete Mathematics Table of Contents Course Objectives Page 2 Propositional Calculus Information Pages 3-13 Course Objectives At the conclusion of this course, you should

More information

Discrete Mathematical Structures: Theory and Applications

Discrete Mathematical Structures: Theory and Applications Chapter 1: Foundations: Sets, Logic, and Algorithms Discrete Mathematical Structures: Theory and Applications Learning Objectives Learn about sets Explore various operations on sets Become familiar with

More information

CS 2336 Discrete Mathematics

CS 2336 Discrete Mathematics CS 2336 Discrete Mathematics Lecture 3 Logic: Rules of Inference 1 Outline Mathematical Argument Rules of Inference 2 Argument In mathematics, an argument is a sequence of propositions (called premises)

More information

CS100: DISCRETE STRUCTURES. Lecture 5: Logic (Ch1)

CS100: DISCRETE STRUCTURES. Lecture 5: Logic (Ch1) CS100: DISCREE SRUCURES Lecture 5: Logic (Ch1) Lecture Overview 2 Statement Logical Connectives Conjunction Disjunction Propositions Conditional Bio-conditional Converse Inverse Contrapositive Laws of

More information

LECTURE NOTES DISCRETE MATHEMATICS. Eusebius Doedel

LECTURE NOTES DISCRETE MATHEMATICS. Eusebius Doedel LECTURE NOTES on DISCRETE MATHEMATICS Eusebius Doedel 1 LOGIC Introduction. First we introduce some basic concepts needed in our discussion of logic. These will be covered in more detail later. A set is

More information

1. Consider the conditional E = p q r. Use de Morgan s laws to write simplified versions of the following : The negation of E : 5 points

1. Consider the conditional E = p q r. Use de Morgan s laws to write simplified versions of the following : The negation of E : 5 points Introduction to Discrete Mathematics 3450:208 Test 1 1. Consider the conditional E = p q r. Use de Morgan s laws to write simplified versions of the following : The negation of E : The inverse of E : The

More information

DISCRETE MATH: FINAL REVIEW

DISCRETE MATH: FINAL REVIEW DISCRETE MATH: FINAL REVIEW DR. DANIEL FREEMAN 1) a. Does 3 = {3}? b. Is 3 {3}? c. Is 3 {3}? c. Is {3} {3}? c. Is {3} {3}? d. Does {3} = {3, 3, 3, 3}? e. Is {x Z x > 0} {x R x > 0}? 1. Chapter 1 review

More information

Foundations of Mathematics MATH 220 FALL 2017 Lecture Notes

Foundations of Mathematics MATH 220 FALL 2017 Lecture Notes Foundations of Mathematics MATH 220 FALL 2017 Lecture Notes These notes form a brief summary of what has been covered during the lectures. All the definitions must be memorized and understood. Statements

More information

INTRODUCTION TO THE GROUP THEORY

INTRODUCTION TO THE GROUP THEORY Lecture Notes on Structure of Algebra INTRODUCTION TO THE GROUP THEORY By : Drs. Antonius Cahya Prihandoko, M.App.Sc e-mail: antoniuscp.fkip@unej.ac.id Mathematics Education Study Program Faculty of Teacher

More information

Notation Index. gcd(a, b) (greatest common divisor) NT-16

Notation Index. gcd(a, b) (greatest common divisor) NT-16 Notation Index (for all) B A (all functions) B A = B A (all functions) SF-18 (n) k (falling factorial) SF-9 a R b (binary relation) C(n,k) = n! k! (n k)! (binomial coefficient) SF-9 n! (n factorial) SF-9

More information

Review. Propositions, propositional operators, truth tables. Logical Equivalences. Tautologies & contradictions

Review. Propositions, propositional operators, truth tables. Logical Equivalences. Tautologies & contradictions Review Propositions, propositional operators, truth tables Logical Equivalences. Tautologies & contradictions Some common logical equivalences Predicates & quantifiers Some logical equivalences involving

More information

LECTURE NOTES DISCRETE MATHEMATICS. Eusebius Doedel

LECTURE NOTES DISCRETE MATHEMATICS. Eusebius Doedel LECTURE NOTES on DISCRETE MATHEMATICS Eusebius Doedel 1 LOGIC Introduction. First we introduce some basic concepts needed in our discussion of logic. These will be covered in more detail later. A set is

More information

Logic, Sets, and Proofs

Logic, Sets, and Proofs Logic, Sets, and Proofs David A. Cox and Catherine C. McGeoch Amherst College 1 Logic Logical Operators. A logical statement is a mathematical statement that can be assigned a value either true or false.

More information

Chapter 1, Logic and Proofs (3) 1.6. Rules of Inference

Chapter 1, Logic and Proofs (3) 1.6. Rules of Inference CSI 2350, Discrete Structures Chapter 1, Logic and Proofs (3) Young-Rae Cho Associate Professor Department of Computer Science Baylor University 1.6. Rules of Inference Basic Terminology Axiom: a statement

More information

ECOM Discrete Mathematics

ECOM Discrete Mathematics ECOM 2311- Discrete Mathematics Chapter # 1 : The Foundations: Logic and Proofs Fall, 2013/2014 ECOM 2311- Discrete Mathematics - Ch.1 Dr. Musbah Shaat 1 / 85 Outline 1 Propositional Logic 2 Propositional

More information

Mathacle. PSet ---- Algebra, Logic. Level Number Name: Date: I. BASICS OF PROPOSITIONAL LOGIC

Mathacle. PSet ---- Algebra, Logic. Level Number Name: Date: I. BASICS OF PROPOSITIONAL LOGIC I. BASICS OF PROPOSITIONAL LOGIC George Boole (1815-1864) developed logic as an abstract mathematical system consisting of propositions, operations (conjunction, disjunction, and negation), and rules for

More information

KS MATEMATIKA DISKRIT (DISCRETE MATHEMATICS ) RULES OF INFERENCE. Discrete Math Team

KS MATEMATIKA DISKRIT (DISCRETE MATHEMATICS ) RULES OF INFERENCE. Discrete Math Team KS091201 MATEMATIKA DISKRIT (DISCRETE MATHEMATICS ) RULES OF INFERENCE Discrete Math Team 2 -- KS091201 MD W-04 Outline Valid Arguments Modus Ponens Modus Tollens Addition and Simplification More Rules

More information

Lecture Notes 1 Basic Concepts of Mathematics MATH 352

Lecture Notes 1 Basic Concepts of Mathematics MATH 352 Lecture Notes 1 Basic Concepts of Mathematics MATH 352 Ivan Avramidi New Mexico Institute of Mining and Technology Socorro, NM 87801 June 3, 2004 Author: Ivan Avramidi; File: absmath.tex; Date: June 11,

More information

Discrete Mathematics for M.Sc.CS

Discrete Mathematics for M.Sc.CS Discrete Mathematics Page 1 CONTENTS UNIT-1 : SETS & RELATIONS 4-11 1. Discrete Mathematics Introduction... 4 2. Sets Set Definition... 4 Representation of a Set... 4 Cardinality of a Set... 5 Types of

More information

Discrete Mathematics. Benny George K. September 22, 2011

Discrete Mathematics. Benny George K. September 22, 2011 Discrete Mathematics Benny George K Department of Computer Science and Engineering Indian Institute of Technology Guwahati ben@iitg.ernet.in September 22, 2011 Set Theory Elementary Concepts Let A and

More information

1 The Foundation: Logic and Proofs

1 The Foundation: Logic and Proofs 1 The Foundation: Logic and Proofs 1.1 Propositional Logic Propositions( 명제 ) a declarative sentence that is either true or false, but not both nor neither letters denoting propositions p, q, r, s, T:

More information

A. Propositional Logic

A. Propositional Logic CmSc 175 Discrete Mathematics A. Propositional Logic 1. Statements (Propositions ): Statements are sentences that claim certain things. Can be either true or false, but not both. Propositional logic deals

More information

With Question/Answer Animations. Chapter 2

With Question/Answer Animations. Chapter 2 With Question/Answer Animations Chapter 2 Chapter Summary Sets The Language of Sets Set Operations Set Identities Functions Types of Functions Operations on Functions Sequences and Summations Types of

More information

Rules of Inference. Arguments and Validity

Rules of Inference. Arguments and Validity Arguments and Validity A formal argument in propositional logic is a sequence of propositions, starting with a premise or set of premises, and ending in a conclusion. We say that an argument is valid if

More information

Logic and Proof. Aiichiro Nakano

Logic and Proof. Aiichiro Nakano Logic and Proof Aiichiro Nakano Collaboratory for Advanced Computing & Simulations Department of Computer Science Department of Physics & Astronomy Department of Chemical Engineering & Materials Science

More information

Undergraduate Notes in Mathematics. Arkansas Tech University Department of Mathematics. Introductory Notes in Discrete Mathematics Solution Guide

Undergraduate Notes in Mathematics. Arkansas Tech University Department of Mathematics. Introductory Notes in Discrete Mathematics Solution Guide Undergraduate Notes in Mathematics Arkansas Tech University Department of Mathematics Introductory Notes in Discrete Mathematics Solution Guide Marcel B. Finan c All Rights Reserved 2015 Edition Contents

More information

Answer: A. Answer: C. 3. If (G,.) is a group such that a2 = e, a G, then G is A. abelian group B. non-abelian group C. semi group D.

Answer: A. Answer: C. 3. If (G,.) is a group such that a2 = e, a G, then G is A. abelian group B. non-abelian group C. semi group D. 1. The set of all real numbers under the usual multiplication operation is not a group since A. zero has no inverse B. identity element does not exist C. multiplication is not associative D. multiplication

More information

HANDOUT AND SET THEORY. Ariyadi Wijaya

HANDOUT AND SET THEORY. Ariyadi Wijaya HANDOUT LOGIC AND SET THEORY Ariyadi Wijaya Mathematics Education Department Faculty of Mathematics and Natural Science Yogyakarta State University 2009 1 Mathematics Education Department Faculty of Mathematics

More information

2/2/2018. CS 103 Discrete Structures. Chapter 1. Propositional Logic. Chapter 1.1. Propositional Logic

2/2/2018. CS 103 Discrete Structures. Chapter 1. Propositional Logic. Chapter 1.1. Propositional Logic CS 103 Discrete Structures Chapter 1 Propositional Logic Chapter 1.1 Propositional Logic 1 1.1 Propositional Logic Definition: A proposition :is a declarative sentence (that is, a sentence that declares

More information

2. Use quantifiers to express the associative law for multiplication of real numbers.

2. Use quantifiers to express the associative law for multiplication of real numbers. 1. Define statement function of one variable. When it will become a statement? Statement function is an expression containing symbols and an individual variable. It becomes a statement when the variable

More information

Why Learning Logic? Logic. Propositional Logic. Compound Propositions

Why Learning Logic? Logic. Propositional Logic. Compound Propositions Logic Objectives Propositions and compound propositions Negation, conjunction, disjunction, and exclusive or Implication and biconditional Logic equivalence and satisfiability Application of propositional

More information

1 The Foundation: Logic and Proofs

1 The Foundation: Logic and Proofs 1 The Foundation: Logic and Proofs 1.1 Propositional Logic Propositions( ) a declarative sentence that is either true or false, but not both nor neither letters denoting propostions p, q, r, s, T: true

More information

586 Index. vertex, 369 disjoint, 236 pairwise, 272, 395 disjoint sets, 236 disjunction, 33, 36 distributive laws

586 Index. vertex, 369 disjoint, 236 pairwise, 272, 395 disjoint sets, 236 disjunction, 33, 36 distributive laws Index absolute value, 135 141 additive identity, 254 additive inverse, 254 aleph, 465 algebra of sets, 245, 278 antisymmetric relation, 387 arcsine function, 349 arithmetic sequence, 208 arrow diagram,

More information

Methods of Proof. 1.6 Rules of Inference. Argument and inference 12/8/2015. CSE2023 Discrete Computational Structures

Methods of Proof. 1.6 Rules of Inference. Argument and inference 12/8/2015. CSE2023 Discrete Computational Structures Methods of Proof CSE0 Discrete Computational Structures Lecture 4 When is a mathematical argument correct? What methods can be used to construct mathematical arguments? Important in many computer science

More information

MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE

MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE LECTURE NOTES ON MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE II B. Tech I semester (JNTUK-R16) Mr. V.S.S.V.D.PRAKASH Assistant Professor DEPARTMENT OF MATHEMATICS GAYATRI VIDYA PARISHAD COLLEGE OF ENGINEERING

More information

LATTICE AND BOOLEAN ALGEBRA

LATTICE AND BOOLEAN ALGEBRA 2 LATTICE AND BOOLEAN ALGEBRA This chapter presents, lattice and Boolean algebra, which are basis of switching theory. Also presented are some algebraic systems such as groups, rings, and fields. 2.1 ALGEBRA

More information

CSE 1400 Applied Discrete Mathematics Proofs

CSE 1400 Applied Discrete Mathematics Proofs CSE 1400 Applied Discrete Mathematics Proofs Department of Computer Sciences College of Engineering Florida Tech Fall 2011 Axioms 1 Logical Axioms 2 Models 2 Number Theory 3 Graph Theory 4 Set Theory 4

More information

0 Sets and Induction. Sets

0 Sets and Induction. Sets 0 Sets and Induction Sets A set is an unordered collection of objects, called elements or members of the set. A set is said to contain its elements. We write a A to denote that a is an element of the set

More information

Predicate Logic. Andreas Klappenecker

Predicate Logic. Andreas Klappenecker Predicate Logic Andreas Klappenecker Predicates A function P from a set D to the set Prop of propositions is called a predicate. The set D is called the domain of P. Example Let D=Z be the set of integers.

More information

CSCE 222 Discrete Structures for Computing. Predicate Logic. Dr. Hyunyoung Lee. !!!!! Based on slides by Andreas Klappenecker

CSCE 222 Discrete Structures for Computing. Predicate Logic. Dr. Hyunyoung Lee. !!!!! Based on slides by Andreas Klappenecker CSCE 222 Discrete Structures for Computing Predicate Logic Dr. Hyunyoung Lee Based on slides by Andreas Klappenecker 1 Predicates A function P from a set D to the set Prop of propositions is called a predicate.

More information

MATH1240 Definitions and Theorems

MATH1240 Definitions and Theorems MATH1240 Definitions and Theorems 1 Fundamental Principles of Counting For an integer n 0, n factorial (denoted n!) is defined by 0! = 1, n! = (n)(n 1)(n 2) (3)(2)(1), for n 1. Given a collection of n

More information

Informal Statement Calculus

Informal Statement Calculus FOUNDATIONS OF MATHEMATICS Branches of Logic 1. Theory of Computations (i.e. Recursion Theory). 2. Proof Theory. 3. Model Theory. 4. Set Theory. Informal Statement Calculus STATEMENTS AND CONNECTIVES Example

More information

Definitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations

Definitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations Page 1 Definitions Tuesday, May 8, 2018 12:23 AM Notations " " means "equals, by definition" the set of all real numbers the set of integers Denote a function from a set to a set by Denote the image of

More information

5. Use a truth table to determine whether the two statements are equivalent. Let t be a tautology and c be a contradiction.

5. Use a truth table to determine whether the two statements are equivalent. Let t be a tautology and c be a contradiction. Statements Compounds and Truth Tables. Statements, Negations, Compounds, Conjunctions, Disjunctions, Truth Tables, Logical Equivalence, De Morgan s Law, Tautology, Contradictions, Proofs with Logical Equivalent

More information

2. The Logic of Compound Statements Summary. Aaron Tan August 2017

2. The Logic of Compound Statements Summary. Aaron Tan August 2017 2. The Logic of Compound Statements Summary Aaron Tan 21 25 August 2017 1 2. The Logic of Compound Statements 2.1 Logical Form and Logical Equivalence Statements; Compound Statements; Statement Form (Propositional

More information

At least one of us is a knave. What are A and B?

At least one of us is a knave. What are A and B? 1. This is a puzzle about an island in which everyone is either a knight or a knave. Knights always tell the truth and knaves always lie. This problem is about two people A and B, each of whom is either

More information

Algebraic structures I

Algebraic structures I MTH5100 Assignment 1-10 Algebraic structures I For handing in on various dates January March 2011 1 FUNCTIONS. Say which of the following rules successfully define functions, giving reasons. For each one

More information

CSC 125 :: Final Exam May 3 & 5, 2010

CSC 125 :: Final Exam May 3 & 5, 2010 CSC 125 :: Final Exam May 3 & 5, 2010 Name KEY (1 5) Complete the truth tables below: p Q p q p q p q p q p q T T T T F T T T F F T T F F F T F T T T F F F F F F T T 6-15. Match the following logical equivalences

More information

Algebraic Structures Exam File Fall 2013 Exam #1

Algebraic Structures Exam File Fall 2013 Exam #1 Algebraic Structures Exam File Fall 2013 Exam #1 1.) Find all four solutions to the equation x 4 + 16 = 0. Give your answers as complex numbers in standard form, a + bi. 2.) Do the following. a.) Write

More information

Notes for Math 290 using Introduction to Mathematical Proofs by Charles E. Roberts, Jr.

Notes for Math 290 using Introduction to Mathematical Proofs by Charles E. Roberts, Jr. Notes for Math 290 using Introduction to Mathematical Proofs by Charles E. Roberts, Jr. Chapter : Logic Topics:. Statements, Negation, and Compound Statements.2 Truth Tables and Logical Equivalences.3

More information

Agenda. Introduction to Proofs Dr Patrick Chan School of Computer Science and Engineering South China University of Technology

Agenda. Introduction to Proofs Dr Patrick Chan School of Computer Science and Engineering South China University of Technology Discrete Mathematic Chapter 1: Logic and Proof 1.5 Rules of Inference 1.6 Introduction to Proofs Dr Patrick Chan School of Computer Science and Engineering South China University of echnology Agenda Rules

More information

A Semester Course in Basic Abstract Algebra

A Semester Course in Basic Abstract Algebra A Semester Course in Basic Abstract Algebra Marcel B. Finan Arkansas Tech University c All Rights Reserved December 29, 2011 1 PREFACE This book is an introduction to abstract algebra course for undergraduates

More information

Readings: Conjecture. Theorem. Rosen Section 1.5

Readings: Conjecture. Theorem. Rosen Section 1.5 Readings: Conjecture Theorem Lemma Lemma Step 1 Step 2 Step 3 : Step n-1 Step n a rule of inference an axiom a rule of inference Rosen Section 1.5 Provide justification of the steps used to show that a

More information

Discrete mathematical Structures. Unit State and prove De Morgan s law of set theory..(dec. 09/Jan 10, dec. 07/Jan 08)

Discrete mathematical Structures. Unit State and prove De Morgan s law of set theory..(dec. 09/Jan 10, dec. 07/Jan 08) Unit-1 1. State and prove De Morgan s law of set theory..(dec. 09/Jan 10, dec. 07/Jan 08) 2.. In a survey of 260 college students, the following data were obtained: 64 had taken a mathematics course, 94

More information

2MA105 Algebraic Structures I

2MA105 Algebraic Structures I 2MA105 Algebraic Structures I Per-Anders Svensson http://homepage.lnu.se/staff/psvmsi/2ma105.html Lecture 12 Partially Ordered Sets Lattices Bounded Lattices Distributive Lattices Complemented Lattices

More information

1.A Sets, Relations, Graphs, and Functions 1.A.1 Set a collection of objects(element) Let A be a set and a be an elements in A, then we write a A.

1.A Sets, Relations, Graphs, and Functions 1.A.1 Set a collection of objects(element) Let A be a set and a be an elements in A, then we write a A. 1.A Sets, Relations, Graphs, and Functions 1.A.1 Set a collection of objects(element) Let A be a set and a be an elements in A, then we write a A. How to specify sets 1. to enumerate all of the elements

More information

Discrete Structures CRN Test 3 Version 1 CMSC 2123 Autumn 2013

Discrete Structures CRN Test 3 Version 1 CMSC 2123 Autumn 2013 . Print your name on your scantron in the space labeled NAME. 2. Print CMSC 223 in the space labeled SUBJECT. 3. Print the date 2-2-203, in the space labeled DATE. 4. Print your CRN, 786, in the space

More information

1 Predicates and Quantifiers

1 Predicates and Quantifiers 1 Predicates and Quantifiers We have seen how to represent properties of objects. For example, B(x) may represent that x is a student at Bryn Mawr College. Here B stands for is a student at Bryn Mawr College

More information

B Sc MATHEMATICS ABSTRACT ALGEBRA

B Sc MATHEMATICS ABSTRACT ALGEBRA UNIVERSITY OF CALICUT SCHOOL OF DISTANCE EDUCATION B Sc MATHEMATICS (0 Admission Onwards) V Semester Core Course ABSTRACT ALGEBRA QUESTION BANK () Which of the following defines a binary operation on Z

More information

Rings and Fields Theorems

Rings and Fields Theorems Rings and Fields Theorems Rajesh Kumar PMATH 334 Intro to Rings and Fields Fall 2009 October 25, 2009 12 Rings and Fields 12.1 Definition Groups and Abelian Groups Let R be a non-empty set. Let + and (multiplication)

More information

UNIT-I. Mathematical Logic

UNIT-I. Mathematical Logic Q UNIT-I Mathematical Logic Statements and notations: A proposition or statement is a declarative sentence that is either true or false (but not both). For instance, the following are propositions: Paris

More information

Logic and Proofs. (A brief summary)

Logic and Proofs. (A brief summary) Logic and Proofs (A brief summary) Why Study Logic: To learn to prove claims/statements rigorously To be able to judge better the soundness and consistency of (others ) arguments To gain the foundations

More information

n Empty Set:, or { }, subset of all sets n Cardinality: V = {a, e, i, o, u}, so V = 5 n Subset: A B, all elements in A are in B

n Empty Set:, or { }, subset of all sets n Cardinality: V = {a, e, i, o, u}, so V = 5 n Subset: A B, all elements in A are in B Discrete Math Review Discrete Math Review (Rosen, Chapter 1.1 1.7, 5.5) TOPICS Sets and Functions Propositional and Predicate Logic Logical Operators and Truth Tables Logical Equivalences and Inference

More information

Logic. Logic is a discipline that studies the principles and methods used in correct reasoning. It includes:

Logic. Logic is a discipline that studies the principles and methods used in correct reasoning. It includes: Logic Logic is a discipline that studies the principles and methods used in correct reasoning It includes: A formal language for expressing statements. An inference mechanism (a collection of rules) to

More information

Definition List Modern Algebra, Fall 2011 Anders O.F. Hendrickson

Definition List Modern Algebra, Fall 2011 Anders O.F. Hendrickson Definition List Modern Algebra, Fall 2011 Anders O.F. Hendrickson On almost every Friday of the semester, we will have a brief quiz to make sure you have memorized the definitions encountered in our studies.

More information

MATH 3030, Abstract Algebra FALL 2012 Toby Kenney Midyear Examination Friday 7th December: 7:00-10:00 PM

MATH 3030, Abstract Algebra FALL 2012 Toby Kenney Midyear Examination Friday 7th December: 7:00-10:00 PM MATH 3030, Abstract Algebra FALL 2012 Toby Kenney Midyear Examination Friday 7th December: 7:00-10:00 PM Basic Questions 1. Compute the factor group Z 3 Z 9 / (1, 6). The subgroup generated by (1, 6) is

More information

Logic Synthesis and Verification

Logic Synthesis and Verification Logic Synthesis and Verification Boolean Algebra Jie-Hong Roland Jiang 江介宏 Department of Electrical Engineering National Taiwan University Fall 2014 1 2 Boolean Algebra Reading F. M. Brown. Boolean Reasoning:

More information

(Refer Slide Time: 02:20)

(Refer Slide Time: 02:20) Discrete Mathematical Structures Dr. Kamala Krithivasan Department of Computer Science and Engineering Indian Institute of Technology, Madras Lecture - 5 Logical Inference In the last class we saw about

More information