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

Size: px
Start display at page:

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

Transcription

1 VALLIAMMAI ENGINEERING COLLEGE DEPARTMENT OF MATHEMATICS SUB CODE/ TITLE: MA6566 DISCRETE MATHEMATICS QUESTION BANK Academic Year : UNIT I LOGIC AND PROOFS PART-A 1. Write the negation of the following proposition. To enter into the country You need a passport or a voter registration card.. How can this English sentence be translated into a logical Expression? You can access the Internet from campus only if you are computer Science major or you are not freshman. 3. Makes a truth table for the statement (p q) (~ p) 4. State the truth table of If tigers have wings then the earth travels round the sun. 5. Construct the truth table for (i)p (P Q), (ii) 6. Using truth table, show that the proposition p ( p q) is a tautology. 7. When a set of formulae is consistent and inconsistent? 8. What is tautology? Give an example 9. State the rules inference for statement calculus. 10. Construct the truth table for (a) ( P Q) (b) ( P Q) 11. Show that is a Tautology 1. Write the Scope of the quantifiers in the formula,. 13. Find the converse and the contra positive of the implication If it is a raining the I get wet. 14. Define contrapositive of a statement. 15. Write the duality law of logical expression? Give the dual of F Q T. 16. Using truth table verify that the proposition (P Q) (P Q) is a contradiction. 17. Prove by truth tables that (P Q) ( P Q) (P Q) 18. Define the term logically equivalent. S.T and p q are logically equivalent. 19. Let P(x,y) denote the statement x = y+3. What are the truth values of the Proposition P(1,), P(3,0). 0. Write the negation of the statement i)( x)( y) p( x, y) ii)? PART-B 1. a. Give the converse and the contrapositive of the implication If it is raining then I get wet. b. Show that ( P ( q r) ( q r) ( p r) r. a. Prove that (P q) ( p ( p q) p q b. Find the PDNF and PCNF of the formula P ( P ( Q ( Q R))) 3. a. Without using the truth tables, find the PCNF of ( p ( q r)) ( p ( q r) b. Find the principal disjunctive and conjunctive normal form of the formula S (( Q R) P) ( Q R) P. 4. a. Find the principal disjunctive normal form (PDNF), if possible ( p q) ( p q) ( q r)

2 b. Find the PCNF if possible ( p r) ( p q) 5. a. Symbolize the statement Given any positive integer, there is a greater positive integer (i) With the positive integers as universe of discourse. (ii) Without positive integers as universe of discourse. b. Show that R ( P Q) is a valid conclusion from the premises P Q, Q R, P M and M 6. a. Show that d can be derived from the premises ( a b) ( a c), ( b c), d a b. Show that R S can be derived from the premises P Q, Q R, R, P ( R S) 7. a. Show that R S is a valid conclusion from the premises C D, C D H, H ( A B) and ( A B) ( R S) b. Show J S logically follows from the premises P Q, Q R, R, P ( J S) 8. a. Show that premises R QR S, S Q, P Q, P are inconsistent b. Using CP or otherwise obtain the following implication. x( px ( ) Qx ( ); xrx ( ( ) Qx ( )) xrx ( ( ) Px ( ) 9.a. Show that the following premises are inconsistent: (i) If Jack misses many classes through illness, then he fails high school. (ii) If Jack fails high school, then he is uneducated (iii) If Jack reads a lot of books then he is not uneducated (iv) Jack misses many classes through illness and reads a lot of book b. Prove that xm( x) follows logically from the premises x( H( x) M( x)) and xh( x) 10. a. Prove that x( Px ( ) Qx ( )) xpx ( ) xqx ( ). Is the converse true? b. Show that the hypothesis, It is not sunny this afternoon and it is colder than yesterday, We will go swimming only if it is sunny, If we do not go swimming, then we will take a canoe trip, and If we take a canoe trip, then we will be home by sunset lead to the conclusion We will be home by sunset. 11. a. i) By indirect method, prove that x( px ( ) Qx ( ), xpx ( ) xqx ( ) ii) Prove that is irrational by giving a proof by contradiction. b. Show that the premises One student in this class knows how to write programs in JAVA and Everyone who knows how to write programs in JAVA can get high paying job imply the conclusion Someone in this class can get a high paying job. 1. a. Let p, q and r be the following statement:

3 p: I will study discrete mathematics. q: I will watch T.V. r: I am in a good mood. Write the following statements in terms of p, q, r and logical connectives. A). If I do not study discrete mathematics and I watch T.V., then I am in a good mood B) If I am in a good mood, then I will study discrete mathematics or I will watch T.V. C) If I am not in a good mood, then I will not watch T.V. or I will study discrete Mathematics. D) I will watch T.V. and I will not study discrete mathematics if and only if I am in a good mood. b. Prove that (i) xpx ( ( ) Sx ( ), xpx ( ( ) Rx ( ) xrx ( ( ) Sx ( ) (ii) Without using truth table show that UNIT II COMBINATORICS Part-A 1. What is the number of Permutations of the letters of the word PEPPER?. Find the number of Permutations of the letters of the word MATHEMATICS.. State Pigeonhole principle. 3. How many positive integers not exceeding 100 that is divisible by 5? 4. What is the minimum number of students required in discrete mathematics class to be sure that at least six will receive the same grade, if there are five possible grades? 5. Find the recurrence relation for the sequence for 6. Find the number of non-negative integer solutions of the equation, where,, are non-negative integer less than How many words of three different letters can be formed from the letters of the word MATHEMATICS? 8. Find the recurrence relation for the Fibonacci sequence. 9. Compute the number of distinct 13 card hands that can drawn from a deck of 5 cards. 10.Find the coefficient of x 10 in (x+x +x 3 + ) State the principles of induction. 1. Show that nn ( + 1) n = by using mathematical induction. n 13. using mathematical induction prove that n < ( n > 1). 14. If seven colours are used to paint 50 bicycles, then show that at least 8 bicycles will be the same colour.

4 15. Find the power set of a finite set 1,,3 16. Using induction prove that n 3 +n is divisible by 3 for all integers n 1. n n 17. Find the recurrence relation of y = A( 3) + B(4) for n 0. n 18. Among 00 people how many of them were born in the same month? 19. Find the homogeneous solution of Sn 7Sn 1+ 10Sn = 6 + 8n. 0. What is the characteristic equation of the recurrence relation sk ( ) + sk ( 1) 3 sk ( ) 6 sk ( 3) = 0. Part-B n n 1. a. i. Use mathematical induction to prove that is divisible by 8 for all n n ii. Use mathematical induction to prove that = for all nn ( + 1) n+ 1 n n(n 1)(n+ 1) b.i. Use mathematical induction to prove that (n 1) = for all n 1 3 ii. Prove by mathematical induction 6 n+ + 7 n+1 is divisible by 43 for each positive integer n.. a.i. Prove that 8 n 3 n is a multiple of 5 using method of induction a. ii. Use mathematical induction to prove that n 3 + n is divisible by 3 for all integers n 1 b. Find the number of integers between 1 and 50 both inclusive that are (i) divisible by any of the integers, 3. (ii) divisible by,3,5. (iii) not divisible by,3,5. 3. a. In a survey of 100 students, if was found that 40 studied mathematics, 64 studied physics 35 studied chemistry, 1 studied all 3 subjects, 5 studied maths and physics, 3 studied math s and chemistry and 0 studied physics and chemistry. Find the number of students who studied chemistry only. b. i. How many 1-1 functions are there from a set with m element to a set with n elements? ii. How many factors has 70? 4. a. i. Find the coefficient of x 10 in (1+x 5 +x 10 +.) 3 ii. How many positive integers not exceeding 1000 are divisible by 7 or 11? b. Find the minimum number of students needed to make sure that 5 of them take the same engineering course ECE, CSE, EEE and Mech. 5. a. the generating function to solve the recurrence relation a n+ 8a n+1+ 15a n = 0 given that a0 =, a1 = 8. b. Using the generating function, solve the difference equation yn+ y n+1 6 yn = 0, y1 =1, y0 =.

5 6. a. From the integers from 1 to 100, both inclusive 4-permutations are taken which contain 3 consecutive integers in increasing order, but not necessarily in consecutive positions. How many such permutations are there? b. Sole the recurrence relation for the Fibonacci sequence 1,1,,3,5,8,13, 7. a. Find the recurrence relation and give initial conditions to find the number of n-bit strings that do not have two consecutive 0 s. How many such 5-bit string are there? b. Using mathematical induction prove that x nx n cos( n + 1).sin cos ix =, where n is a positive integer and x rπ x i= 1 sin. 8. a. Show that n th Fibonacci number Fn 1+ 5 n n 3 b. How many integers between 100 and 999 inclusive a) are divisible by 7? b) are not divisible by 4? c) are divisible by 3 or 4? d) are divisible by 3 and 4? e) are divisible by 3 but not by 4? 9. a. In how many arrangements of the letters of the word PHOTOGRAPH are there with exactly 5 letters between the two H s? b. Prove that number of derangement of n objects is Dn n 1 = n! ( 1) 1!! 3! 4! n! 10.a. A friend writes a letters to six friends and places them in addressed envelope. In how many ways can he place the letters in the envelopes so that a) all the letters in the wrong envelops. b) at least two of them are in the wrong envelopes ii. Use mathematical induction to show that n 3 -n is divisible by 3, for n Z + b. Solve the following recurrence relation a n+ a n+1 + an = n with a0 =, a1 = 1 using generating functions. 11. a. Solve the recurrence relation Fn ( ) Fn ( 1) Fn ( ) = 0, F(0) = 1, F(1) = 1 b. Solve S(n)-S(n-1)-3S(n-)=0, n with S(0) = 3 and S(1) = 1 by using generating function. UNIT III GRAPH THEORY 1. How many edges are there in a graph with 10 vertices each of degree 5?. Define regular graph and a complete graph. 3. What is meant by isomorphism of graphs? 4. Define a complete graph and give an example. 5. Define Pendant vertex in a graph and give an example 6. Define Regular graph and give an example

6 7. Define a strongly connected graph and give an example 8. Find number of edges and degree of each vertex in the complete graph K 5 9.Does there exists a simple graph with the degree sequence 3, 3, 3,? 10.Define Euler paths. Give an example 11. Determine whether the graph G in figure has Euler path. Construct such a path if it exists. 1. Define a Hamilton Path in G. Give an example. 13. A regular graph G has 10 edges and degree of any V is 5, find the number of vertices. 14. Define Pseudo graph. Give an example 15. Draw a complete bipartite graph of K,3 and K 3, Define isomorphism of two graphs. Give an example 17.State the condition for the multigraph to be traversable? 18.Give an example each for connected and disconnected graphs. 19.Find all cut vertices and cut edges of the graph G given below. 0.Test whether the graph G is Eulerian PART-B a. Are the simple graph with the following adjacency matrices 0 0 1, isomorphic? b. Define the graph isomorphic and give an example of isomorphic and non-isomorphic graphs.. a. Determine whether the graphs G and H are isomorphic

7 b. Find all cut vertices and cut edges of the following graph 3. a. Find the adjacency matrix A of the following graph 3 Find A and A. What are your observations recording the entries in b. Write the adjacency matrix of the digraph G = {( v, 1 v3)( v, 1 v ), ( v, v ), 4 ( v, 3 v1), ( v, v3), ( v, 3 v4), ( v, 4 v1), ( v, 4 v), ( v, 4 v 3) } 4. a. A connected graph G is Eulerian if and only if every vertex of G is of even degree. b. Prove that if a graph G has not more than two vertices of odd degree, then there can be Euler path in G. A? 5. a. Show that the K 7 has Hamiltonian graph. How many edge disjoint Hamiltonian cycles are there in K 7? List all the edge-disjoint Hamiltonian cycles. Is it Eulerian graph? b. Define Eulerian graph and Hamiltonian graph. Give an example of a graph which is Eulerian but not Hamiltonian and vice versa. 6. a. Show that in a simple digraph, every node of the digraph lies in exactly one strong component. b. Draw the graph whose adjacency matrix given below a. Establish an isomorphism between the graphs G and H A B E F G H D H C G

8 b. Define bipartite graph. Show that if G is bipartite simple graph with p vertices and p q edges then q 4 8. a. Define complement of a graph. Find the complement G of the following graph G.Is it true that G is isomorphic to G. Justify your answer b. Show that the complete bipartite graph K n, n has the Hamiltonian cycle. When K n, n has Eulerian circuit? Justify your answer 9. a. Define the degree of a vertex and prove that the number of vertices of odd degree is always even. b. Find the Euler path or an Euler circuit, if it exists, in the following graphs. B A B A C E C D E D 10. a. Define a complete graph k n, Draw a complete graph k 6. What is the degree of each vertex in k n? What is the total number of edges in k n? b. Define complement of a graph. Find the complement G of the following graph G. Is it true that G is isomorphic to G G 11.a.If G is a simple graph with n vertices and k components, then the number of edges is at most ( n k)( n k+ 1)/ b. Prove that a simple graph with n vertices must be connected if it has more than ( n 1)( n ) edges.

9 1. Define semi group. Give an example.. Define monoid. Give an example. 3. Give an example of a non abelian finite group. UNIT IV ALGEBRAIC STRUCTURES PART-A 4. In an abelian group,, prove that for all a,b G 5. Show that the inverse of an element in a group, is unique 6. Find a subgroup of order two of the group, 7. State Lagrange s theorem for finite groups. 8. If H is a subgroup of G, among the right cosets of H in G prove that there is only one subgroup viz.h. 9. Show that the permutation Define ring. Give an example 11. Define subring. Give an example 1. Define field. Give an example is odd Find an identity element of a group G with binary operation defined by 14. State and Lagrange s theorem. 15. If f = and g = find A non-empty subset H of a group (G, ) is a subgroup of G if and only if 1 a b H a, b H 17. State and Cayley s theorem or Cayley s representation theorem f 1 gf a b= 18. Show that 1, is an abelian group under the binary operation * defined by, Prove that in a group G the equations a * x = b and y * a = b have unique solutions for the unknowns x and y as x = a -1 * b and y = b* a -1 where a, b G. 0. Show that the set of all non-zero real numbers is an abelian group under the operation ab defined by a b= PART-B 1.a. If S is the set of all ordered pairs (a,b) of real numbers with the binary operation defined by(a,b) (c,d)=(a+c,b+d), where a,b,c,d are real, prove that (S, ) is a commutative group.. ab

10 1 3 4 b. i. If f = and g = find ii. ii. If P 1 = and P = f 1 gf and gfg 1 Compute P 1 P. Verify that (P P 1 ) -1 = P 1-1 P -1.. a. If f = and g = are permutation on the set A = { 1,, 3, 4, 5 }, find a permutation g on A such that f.g = g.f a b. Prove that the set of all matrices b where a and b are real numbers, not both 0. b form an abelian group with respect to matrix multiplication a 3. a. If H 1 and H are subgroups of a group (G, ) prove that H 1 H is a group of (G, ) b. Let S be a non-empty set and P(S) denote the power set of S. Verify whether (P(S), ) is a group. 4. a. Find all non-trivial subgroups of (Z 6, + 6 ). b. Determine whether H = { 0, 5, 10} and k = {0, 4, 8, 1} are subgroups of the group {Z 15, + 15 }. 5. a. State and prove Lagrange s theorem. ' b. If f is a homomorphism from a group (G, ) into ( G,.) then prove that a) f(e) = b) ' e, where e, 1 1 f ( a ) = ( f( a)) for all a G ' e are the identities of G and ' G respectively. 6. a. Show that Kernal of a group homomorphism is a normal subgroup of the group. b. State and prove fundamental theorem of group homomorphism 7. a. State and prove Cayley s theorem or Cayley s representation theorem b. Determine all cosets of a subgroup H = {1, a } of a group G = {1, a, a, a 3 } under usual multiplication, where a 4 = 1 8. a. Let G be a group and a G. Show that the map f : G G defined by f(x) = a x a -1 for every x G is an isomorphism. b. If H is a group of G such that x H x G, Prove that H is normal subgroup of G. 9. a. Show that monoid homomorphism preserves the property of invertibility.

11 b. For any commutative monoid (M, ), Prove that the set of all idempotent elements of M forms a submonoid. 10. a. Let E = {, 4,6,8,... } show that ( E, + ) and ( E, ) are semi groups, but not monoids. b. If H is a subgroup of G, among the right cosets of H in G prove that there is only one subgroup viz. H 11. a. If f is a homomorphism of a group G into a group G then prove that group Homomorphism preserves identities. ` b. Show that every cyclic group of order n is isomorphic to the group (Z n, + n ) 1. a. Prove that intersection of two normal subgroups of a group will be a normal subgroup. b. Show that if every element in a group is its own inverse, then the group must be abelian. UNIT V LATTICES AND BOOLEAN ALGEBRA PART-A 1. Define a partially ordered set.. Define a partial order relation. 3. Draw a Hasse diagram of 1,,4,5,10,0. 4. Show that (X, ) is a chain, where 1,,3,4,6,1 and is the usual less than or equal to relation. 5. If a poset has a least element, then prove that it is unique. 6. Define a Boolean algebra. 7. Give an example of two-element Boolean algebra. 8. Is the lattice of divisors of 3 a Boolean algebra? 9. Prove that.. is a Boolean algebra. 10. Give an example of a lattice which modular but not distributive. 11. Form the table of operations for the Boolean algebra,,0,1, given 0,1 1. The following is the Hasse diagram of a partially set. Verify whether it is a lattice. 13. In the following lattice, find

12 14. Give an example of a lattice that is not distributive and not modular. 15. Let S = { abc,, } then the power set PS ( ) { φ, { a},{ b},{ c},{ ab, },{ ac, },{ bc, },{ abc,, }} respect to the relation inclusion. Draw the Hasse diagram. = is a poset with 16. Let N be the set of all natural numbers and define m n if n-m is a non negative integers. Show that ( N, ) is a poset. 17. Let N be the set of all natural numbers with the relation R as follows: a R b if and only if a divides b. Show that R is a partial order relation on N. 18. The following is the Hasse diagram of a partially ordered set. Verify whether it is a lattice. e a c b d 19. Define a lattice. Verify whether the lattice given by the Hasse diagram in the figure below is distributive Draw a Hasse diagram of D 0 = { 1,, 4, 5,10, 0 } a 0 b c PART-B 1.a. If poset has a least element, then prove that it is unique. b. Let ( L, ) be a lattice in which and denote the operations of meet and join respectively. For any a,b L prove that a b a b= a a b= b. a. Let ( L, ) be a lattice. For any a,b,c L the following properties called isotonicity hold. If b c then a) a b a c b) a b a c

13 b. Let ( L, ) be a lattice. For any a,b,c L the following inequalities known as distributive inequalities hold. a) a ( b c) ( a b) ( a c) b) a ( b c) ( a b) ( a c) 3. a. Show that in a lattice ( L, ) if a b and c d, then a) a c b d b) a b b d b. Prove that every chain is a distributive lattice. 4. a. In a distributive lattice ( L,, ) if for any a, b, c La, b= a cand a b= a c then b = c. b. State and prove De Morgan s Laws. 5. a. Prove that every distributive lattice is modular. b. If D45denotes the set of all divisors of 45, under divisibility ordering find which elements have complements and which do not have complements. 6. a. In a lattice prove that a b a b= a b. In a distributive lattice, show that ( a b) ( b c) ( c a) = ( a b) ( b c) ( c a) 7. a. In a distributive lattice prove that complement of an element, if it exists, is unique b. In any Boolean algebra, show that 8. a. Form the table of operations for the Boolean algebra ( B,,,',0,1), given B = { 0,1 } b. If B is a Boolean algebra then prove that for a B, a+ 1= 1 and a.0 = 0 9. a. If x and y are elements in Boolean algebra, then prove that x y x' y' b. In a Boolean algebra show that ab' + a ' b = 0 if and only if a= b 10.a. In any lattice prove that a ( b c) ( a b) ( a c) b. Show that a lattice homomorphism on a Boolean algebra which preserves 0 & 1 is a Boolean homomorphism. 11. a. Let L be lattice, where a*b = glb(a,b) and a b=lub(a,b) for all a,b. Then both binary operations * & defined as in L satisfies commutative law, associative law, absorption law and idempotent law. b. Show that in a distributive and complemented lattice satisfied De Morgan s law. 1. a. Show that in a distributive and complemented lattice 0 1. b. Show that in a lattice if, then.

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

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

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

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

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

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

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

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

SRI VENKATESWARA COLLEGE OF ENGINEERING AND TECHNOLOGY MA DISCRETE MATHEMATICS

SRI VENKATESWARA COLLEGE OF ENGINEERING AND TECHNOLOGY MA DISCRETE MATHEMATICS 1 MA6566 - DISCRETE MATHEMATICS UNIT I - LOGIC AND PROOFS Propositional Logic Propositional equivalences-predicates and quantifiers-nested Quantifiers- Rules of inference-introduction to Proofs-Proof Methods

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

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

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

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

REVIEW QUESTIONS. Chapter 1: Foundations: Sets, Logic, and Algorithms

REVIEW QUESTIONS. Chapter 1: Foundations: Sets, Logic, and Algorithms REVIEW QUESTIONS Chapter 1: Foundations: Sets, Logic, and Algorithms 1. Why can t a Venn diagram be used to prove a statement about sets? 2. Suppose S is a set with n elements. Explain why the power set

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

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

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

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

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

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

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

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

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

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

AN INTRODUCTION TO MATHEMATICAL PROOFS NOTES FOR MATH Jimmy T. Arnold

AN INTRODUCTION TO MATHEMATICAL PROOFS NOTES FOR MATH Jimmy T. Arnold AN INTRODUCTION TO MATHEMATICAL PROOFS NOTES FOR MATH 3034 Jimmy T. Arnold i TABLE OF CONTENTS CHAPTER 1: The Structure of Mathematical Statements.............................1 1.1. Statements..................................................................

More information

MAT2345 Discrete Math

MAT2345 Discrete Math Fall 2013 General Syllabus Schedule (note exam dates) Homework, Worksheets, Quizzes, and possibly Programs & Reports Academic Integrity Do Your Own Work Course Web Site: www.eiu.edu/~mathcs Course Overview

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

Tribhuvan University Institute of Science and Technology Micro Syllabus

Tribhuvan University Institute of Science and Technology Micro Syllabus Tribhuvan University Institute of Science and Technology Micro Syllabus Course Title: Discrete Structure Course no: CSC-152 Full Marks: 80+20 Credit hours: 3 Pass Marks: 32+8 Nature of course: Theory (3

More information

Mat 243 Exam 1 Review

Mat 243 Exam 1 Review OBJECTIVES (Review problems: on next page) 1.1 Distinguish between propositions and non-propositions. Know the truth tables (i.e., the definitions) of the logical operators,,,, and Write truth tables for

More information

Unit Combinatorics State pigeonhole principle. If k pigeons are assigned to n pigeonholes and n < k then there is at least one pigeonhole containing more than one pigeons. Find the recurrence relation

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

Compound Propositions

Compound Propositions Discrete Structures Compound Propositions Producing new propositions from existing propositions. Logical Operators or Connectives 1. Not 2. And 3. Or 4. Exclusive or 5. Implication 6. Biconditional Truth

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

Unit i) 1)verify that [p->(q->r)] -> [(p->q)->(p->r)] is a tautology or not? 2) simplify the Boolean expression xy+(x+y) + y

Unit i) 1)verify that [p->(q->r)] -> [(p->q)->(p->r)] is a tautology or not? 2) simplify the Boolean expression xy+(x+y) + y Unit i) 1)verify that [p->(q->r)] -> [(p->q)->(p->r)] is a tautology or not? 2) simplify the Boolean expression xy+(x+y) + y 3)find a minimal sum of product representation f(w,x,y)= m(1,2,5,6) 4)simplify

More information

(1) Which of the following are propositions? If it is a proposition, determine its truth value: A propositional function, but not a proposition.

(1) Which of the following are propositions? If it is a proposition, determine its truth value: A propositional function, but not a proposition. Math 231 Exam Practice Problem Solutions WARNING: This is not a sample test. Problems on the exams may or may not be similar to these problems. These problems are just intended to focus your study of the

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

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

Discrete Mathematics (CS503)

Discrete Mathematics (CS503) Discrete Mathematics (CS503) Module I Suggested Questions Day 1, 2 1. Translate the following statement into propositional logic using the propositions provided: You can upgrade your operating system only

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

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

DISCRETE STRUCTURES AMIN WITNO

DISCRETE STRUCTURES AMIN WITNO DISCRETE STRUCTURES AMIN WITNO p h i. w i t n o. c o m Discrete Structures Revision Notes and Problems Amin Witno Preface These notes were prepared for students as a revision workbook

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

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

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

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

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

FOUNDATION OF COMPUTER SCIENCE ETCS-203

FOUNDATION OF COMPUTER SCIENCE ETCS-203 ETCS-203 TUTORIAL FILE Computer Science and Engineering Maharaja Agrasen Institute of Technology, PSP Area, Sector 22, Rohini, Delhi 110085 1 Fundamental of Computer Science (FCS) is the study of mathematical

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

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

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 CHAPTER. 2.1 Definitions in Chapter Sample Exam Questions. 2.1 Set; Element; Member; Universal Set Partition. 2.

Review CHAPTER. 2.1 Definitions in Chapter Sample Exam Questions. 2.1 Set; Element; Member; Universal Set Partition. 2. CHAPTER 2 Review 2.1 Definitions in Chapter 2 2.1 Set; Element; Member; Universal Set 2.2 Subset 2.3 Proper Subset 2.4 The Empty Set, 2.5 Set Equality 2.6 Cardinality; Infinite Set 2.7 Complement 2.8 Intersection

More information

Discrete Mathematical Structures. Chapter 1 The Foundation: Logic

Discrete Mathematical Structures. Chapter 1 The Foundation: Logic Discrete Mathematical Structures Chapter 1 he oundation: Logic 1 Lecture Overview 1.1 Propositional Logic 1.2 Propositional Equivalences 1.3 Quantifiers l l l l l Statement Logical Connectives Conjunction

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

Exam Practice Problems

Exam Practice Problems Math 231 Exam Practice Problems WARNING: This is not a sample test. Problems on the exams may or may not be similar to these problems. These problems are just intended to focus your study of the topics.

More information

STRATEGIES OF PROBLEM SOLVING

STRATEGIES OF PROBLEM SOLVING STRATEGIES OF PROBLEM SOLVING Second Edition Maria Nogin Department of Mathematics College of Science and Mathematics California State University, Fresno 2014 2 Chapter 1 Introduction Solving mathematical

More information

Math Final Exam December 14, 2009 Page 1 of 5

Math Final Exam December 14, 2009 Page 1 of 5 Math 201-803-Final Exam December 14, 2009 Page 1 of 5 (3) 1. Evaluate the expressions: (a) 10 C 4 (b) 10 P 4 (c) 15!4! 3!11! (4) 2. (a) In how many ways can a president, a vice president and a treasurer

More information

CS Discrete Mathematics Dr. D. Manivannan (Mani)

CS Discrete Mathematics Dr. D. Manivannan (Mani) CS 275 - Discrete Mathematics Dr. D. Manivannan (Mani) Department of Computer Science University of Kentucky Lexington, KY 40506 Course Website: www.cs.uky.edu/~manivann/cs275 Notes based on Discrete Mathematics

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

CSC Discrete Math I, Spring Propositional Logic

CSC Discrete Math I, Spring Propositional Logic CSC 125 - Discrete Math I, Spring 2017 Propositional Logic Propositions A proposition is a declarative sentence that is either true or false Propositional Variables A propositional variable (p, q, r, s,...)

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

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

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

CHAPTER 1. MATHEMATICAL LOGIC 1.1 Fundamentals of Mathematical Logic

CHAPTER 1. MATHEMATICAL LOGIC 1.1 Fundamentals of Mathematical Logic CHAPER 1 MAHEMAICAL LOGIC 1.1 undamentals of Mathematical Logic Logic is commonly known as the science of reasoning. Some of the reasons to study logic are the following: At the hardware level the design

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

IVA S STUDY GUIDE FOR THE DISCRETE FINAL EXAM - SELECTED SOLUTIONS. 1. Combinatorics

IVA S STUDY GUIDE FOR THE DISCRETE FINAL EXAM - SELECTED SOLUTIONS. 1. Combinatorics IVA S STUDY GUIDE FOR THE DISCRETE FINAL EXAM - SELECTED SOLUTIONS Combinatorics Go over combinatorics examples in the text Review all the combinatorics problems from homewor Do at least a couple of extra

More information

1 Basic Combinatorics

1 Basic Combinatorics 1 Basic Combinatorics 1.1 Sets and sequences Sets. A set is an unordered collection of distinct objects. The objects are called elements of the set. We use braces to denote a set, for example, the set

More information

Math 3336: Discrete Mathematics Practice Problems for Exam I

Math 3336: Discrete Mathematics Practice Problems for Exam I Math 3336: Discrete Mathematics Practice Problems for Exam I The upcoming exam on Tuesday, February 26, will cover the material in Chapter 1 and Chapter 2*. You will be provided with a sheet containing

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

Boolean Logic. CS 231 Dianna Xu

Boolean Logic. CS 231 Dianna Xu Boolean Logic CS 231 Dianna Xu 1 Proposition/Statement A proposition is either true or false but not both The sky is blue Lisa is a Math major x == y Not propositions: Are you Bob? x := 7 2 Boolean variables

More information

Introduction to Sets and Logic (MATH 1190)

Introduction to Sets and Logic (MATH 1190) Introduction to Sets Logic () Instructor: Email: shenlili@yorku.ca Department of Mathematics Statistics York University Sept 18, 2014 Outline 1 2 Tautologies Definition A tautology is a compound proposition

More information

Chapter Summary. Propositional Logic. Predicate Logic. Proofs. The Language of Propositions (1.1) Applications (1.2) Logical Equivalences (1.

Chapter Summary. Propositional Logic. Predicate Logic. Proofs. The Language of Propositions (1.1) Applications (1.2) Logical Equivalences (1. Chapter 1 Chapter Summary Propositional Logic The Language of Propositions (1.1) Applications (1.2) Logical Equivalences (1.3) Predicate Logic The Language of Quantifiers (1.4) Logical Equivalences (1.4)

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

Proposition/Statement. Boolean Logic. Boolean variables. Logical operators: And. Logical operators: Not 9/3/13. Introduction to Logical Operators

Proposition/Statement. Boolean Logic. Boolean variables. Logical operators: And. Logical operators: Not 9/3/13. Introduction to Logical Operators Proposition/Statement Boolean Logic CS 231 Dianna Xu A proposition is either true or false but not both he sky is blue Lisa is a Math major x == y Not propositions: Are you Bob? x := 7 1 2 Boolean variables

More information

MATH 363: Discrete Mathematics

MATH 363: Discrete Mathematics MATH 363: Discrete Mathematics Learning Objectives by topic The levels of learning for this class are classified as follows. 1. Basic Knowledge: To recall and memorize - Assess by direct questions. The

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

MATH 433 Applied Algebra Lecture 22: Review for Exam 2.

MATH 433 Applied Algebra Lecture 22: Review for Exam 2. MATH 433 Applied Algebra Lecture 22: Review for Exam 2. Topics for Exam 2 Permutations Cycles, transpositions Cycle decomposition of a permutation Order of a permutation Sign of a permutation Symmetric

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

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

Chapter 1 Elementary Logic

Chapter 1 Elementary Logic 2017-2018 Chapter 1 Elementary Logic The study of logic is the study of the principles and methods used in distinguishing valid arguments from those that are not valid. The aim of this chapter is to help

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

(c) Give a proof of or a counterexample to the following statement: (3n 2)= n(3n 1) 2

(c) Give a proof of or a counterexample to the following statement: (3n 2)= n(3n 1) 2 Question 1 (a) Suppose A is the set of distinct letters in the word elephant, B is the set of distinct letters in the word sycophant, C is the set of distinct letters in the word fantastic, and D is the

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 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

QUESTION BANK. 4. State and prove De Morgan s law of set theory. (6m) May / jun 10

QUESTION BANK. 4. State and prove De Morgan s law of set theory. (6m) May / jun 10 UNIT 1: Set Theory QUESTION BANK 1. In a survey of 120 passengers, an airline found that 48 enjoyed wine with their meals, 78 enjoyed mixed drinks, 66 enjoyed iced tea. In addition, 36 enjoyed any given

More information

CS 250/251 Discrete Structures I and II Section 005 Fall/Winter Professor York

CS 250/251 Discrete Structures I and II Section 005 Fall/Winter Professor York CS 250/251 Discrete Structures I and II Section 005 Fall/Winter 2013-2014 Professor York Practice Quiz March 10, 2014 CALCULATORS ALLOWED, SHOW ALL YOUR WORK 1. Construct the power set of the set A = {1,2,3}

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

Math 205 April 28, 2009 Final Exam Review

Math 205 April 28, 2009 Final Exam Review 1 Definitions 1. Some question will ask you to statea a definition and/or give an example of a defined term. The terms are: subset proper subset intersection union power set cartesian product relation

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

Logic and Proof. On my first day of school my parents dropped me off at the wrong nursery. There I was...surrounded by trees and bushes!

Logic and Proof. On my first day of school my parents dropped me off at the wrong nursery. There I was...surrounded by trees and bushes! Logic and Proof On my first day of school my parents dropped me off at the wrong nursery. There I was...surrounded by trees and bushes! 26-Aug-2011 MA 341 001 2 Requirements for Proof 1. Mutual understanding

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

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

On my first day of school my parents dropped me off at the wrong nursery. There I was...surrounded by trees and bushes! 26-Aug-2011 MA

On my first day of school my parents dropped me off at the wrong nursery. There I was...surrounded by trees and bushes! 26-Aug-2011 MA Logic and Proof On my first day of school my parents dropped me off at the wrong nursery. There I was...surrounded by trees and bushes! 26-Aug-2011 MA 341 001 2 Requirements for Proof 1. Mutual understanding

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

First order Logic ( Predicate Logic) and Methods of Proof

First order Logic ( Predicate Logic) and Methods of Proof First order Logic ( Predicate Logic) and Methods of Proof 1 Outline Introduction Terminology: Propositional functions; arguments; arity; universe of discourse Quantifiers Definition; using, mixing, negating

More information

CS/IT OPERATING SYSTEMS

CS/IT OPERATING SYSTEMS CS/IT 5 (CR) Total No. of Questions :09] [Total No. of Pages : 0 II/IV B.Tech. DEGREE EXAMINATIONS, DECEMBER- 06 CS/IT OPERATING SYSTEMS. a) System Boot Answer Question No. Compulsory. Answer One Question

More information

DISCRETE MATHEMATICS BA202

DISCRETE MATHEMATICS BA202 TOPIC 1 BASIC LOGIC This topic deals with propositional logic, logical connectives and truth tables and validity. Predicate logic, universal and existential quantification are discussed 1.1 PROPOSITION

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

Chapter 1, Part I: Propositional Logic. With Question/Answer Animations

Chapter 1, Part I: Propositional Logic. With Question/Answer Animations Chapter 1, Part I: Propositional Logic With Question/Answer Animations Chapter Summary Propositional Logic The Language of Propositions Applications Logical Equivalences Predicate Logic The Language of

More information

Part I: Propositional Calculus

Part I: Propositional Calculus Logic Part I: Propositional Calculus Statements Undefined Terms True, T, #t, 1 False, F, #f, 0 Statement, Proposition Statement/Proposition -- Informal Definition Statement = anything that can meaningfully

More information