SlideShare a Scribd company logo
1 of 7
Discrete Mathematics
Defecation of Discrete Mathematics:
Concerns processesthatconsist of a sequence of individual step are calledDiscrete Mathematics
Continuous Discrete
LOGIC:
Logic studyof principlesandmethodthatdistinguishes/differenceb/w validandinvalidargumentis
calledlogic.
Simple statement:
A statementisdeclarativesentence thatiseithertrue orfalse butnotboth.
A statementisalsoreferredtoasa proposition
Examples:
1. If a propositionistrue thenwe saythata value istrue.
2. Andif propositionisfalse thenwe saythattruth value isfalse.
3. Truth & false are denotedbyT and F
Examples:
Propositions: NotProposition:
1. Grass is green. Close the door.
2. 4+3=6. X isgreaterthan 2.
3. 4+2=6. He isveryrich.
Rules:
If the sentence isprecededbyothersentencesthatmake the pronounorvariable referenceclear,then
the sentence isa statement.
Examples:
False True
I. X=1 Bill gatesisan American
II. x>3 He is veryRich
III. x>3 is a statementwithtruth-value He is veryrichis a statementwith
truth-value
UNDERSTANDINGSTATEMENTS:
1. X+2 ispositive Nota statement
2. May I come in? Nota statement
3. Logic isinteresting A statement
4. It ishot today A statement
Compound Statement:
Simple statementcouldbe usedtobuildacompoundstatement.
Examples:
1. 3+2=5 and Multan isa city of Pakistan
2. The grass is greenor itis hottoday
3. Ali isnot veryrich
And,Not,ORare called Logical Connectives.
SYMBOLICREPRESENTATION:
Statementis symbolicallyrepresentedbyletterssuchas“p,q, r…
EXAMPLES:
p=”Multan isa cityof Pakistan”
q=”17 is divisible by3”
CONNECTIV MEANING SYMBOL CALLED
NEGATION NOT ˜ TILDE
CONJUNCTION AND ^ HAT
DISJUNCTION OR v VEL
CONDITIONAL IF……THEN  ARROW
BICONDITIONAL IF ANDONLY IF  DOUBLE ARROW
EXAMPLES:
p=”Multan isa cityof Pakistan”
q=”Ali isa Muslim”
p ^ q=”Multanis a city of Pakistan”AND“Ali isa Muslim”
p v q=” Multan isa cityof Pakistan”OR”Ali isa Muslim”
˜p=”Multanis nota cityof Pakistan”
TRANSLATINGFROMENGLISHTO SYMBOLIS:
Let p=”itis cold”,AND“it isAli”
SENTENCE SYMBOLIC
1. It isnot cold ˜P
2. It iscold ANDAli P ^ q
3. It iscold OR Ali p v q
4. It isNOT coldBUT Ali ˜p ^ q
COMPOUNDSTATEMENTEXAMPLES:
Let a=”Ali isHealthy” b=”Ali isWealthy” c=”Ali is Wise”
i. Ali ishealthyANDwealthyButNOTwise. (a ^ b) ^ (˜c)
ii. Ali isNOT healthyBUThe iswealthyANDwise. (˜a) ^ (b^ c)
iii. Ali isNEITHER healthy,WealthyNORwise. (˜a ^ ~ b v ~ c)
TRANSLATINGFROMSYMBOLSTO ENGLISH:
Let: m=”Ali isa good inmath” c=”Ali is a com. science student”
I. ~ C Ali is“NOT” com. Science student.
II. C v m Ali iscom. Science student”OR“goodinmath.
III. M ^ ~ c Ali isgoodin math” BUT AND NOT“a com. Science student.
WHAT IS TRUTH TABLE?
A truthtable specifiesthe truthvalue of acompoundpropositionforall possibletruthvaluesof its
constituentproposition.
A convenientmethodforanalyzingacompoundstatement istomake a truth table toit
NEGATION (~)
 If p=statementvariable,thennegationof p“NOTp”, isdenotedby“~p”
 If p istrue,~p is false
 If p isfalse ~p istrue
TRUTH TABLE FOR ~P
P ~P
T F
F T
CONJUNCTION (^)
 If p andq is statementthenconjunctionis“pand q”
 Denotedby“p ^q”
 If p andq are true thentrue
 If both or eitherfalse thenFalse
P ^q
P q P ^q
T T T
T F F
F T F
F F F
DISJUNCTION (v)
 If P and q is statementthen“por q”
 Denotedby“p v q”
 If both are false thenfalse
 If both or eitheristrue thentrue
 P v q
P q P v q
T T T
T F T
F T T
F F F
 Truth Table for this statement ~p^ q
P q ~p ~p ^q
T T F F
T F F F
F T T T
F F T F
 Truth Table for ~p^ (qv ~r)
P q r ~r (q v ~r) ~p ~p ^(q v ~r)
T T T F T F F
T T F T T F F
T F T F F F F
T F F T T F F
F T T F T T T
F T F T T T T
F F T F F T F
F F F T T T T
 Truth table for (p v q) ^ ~ (p^q)
P q (p v q) (p ^ q) ~(p ^q) (p v q)^~(p ^q)
T T T T F F
T F T F T T
F T T F T T
F F F F T F
Double negationproperty ~ (~p) =p
P (~p) ~(~p)
T F T
F T F
So itis clearthat “p” and double negationof “p”isequal.
Example
Englishtosymbolic
P= I am Umair Shah
~p= I am not Umair Shah
~ (~p) = I am Umair Shah
So itis clearthat double negationof “p”isalsoequal to “p”.
 ~ (p^q) & ~p ^~q are not Equal.
P q (p ^q) ~(p ^q) ~p ~q ~p ^~q
T T T F F F F
T F F T F T F
F T F T T F F
F F F T T T T
So itis clearthat “~ (p^q) & ~p ^~q” are not equal
De Morgan’sLaw
1. The negationof “AND” statementislogicallyequivalenttothe “OR” statementinwhicheach
componentisnegated.
 Symbolically~(p ^q) = ~p v ~q
P q P ^q ~(p ^q) ~p ~q ~p v ~q
T T T F F F F
T F F T F T T
F T F T T F T
F F F T T T T
So itis clearthat ~ (p^q) = ~p v ~q are logicallyequivalent
2. The negationof “OR” statementislogicallyequivalenttothe “AND”statementinwhichcomponent
isnegated.
 Symbolically~(p v q) = ~p ^ ~q
P q (P v q) ~(p v q) ~p ~q ~p ^ ~q
T T T F F F F
T F T F F T F
F T T F T F F
F F F T T T T
So itis clearthat ~ (pv q) = ~p ^ ~q is Equal.
Application
Negationforeachof the following:
a. The fanis slowor itis veryhot
b. Ali isfitor Awaisis injured.
Solution:
a. The fan isnot slow“AND”it is not veryhot
b. Ali is not fit“AND” Awaisisnotinjured
InequalitiesandDE MORGANESlaw:
Exercise:
1. (p ^q) ^ r = P^(q ^ r)
p q r (p ^q) (p ^q)^r (q ^r) P^(q ^r)
T T T T T T T
T T F T F F F
T F T F F F F
T F F F F F F
F T T F F T F
F T F F F F F
F F T F F F F
F F F F F F F
So itclearsthat Colum5 and Colum7 are equal
2. (P ^q) v r = p ^ (qv r)?????
P q r (p ^q) (p ^q) v r (q v r) P ^(q v r)
T T T T T T T
T T F T T T T
T F T F T T T
T F F F F F F
F T T F T T F
F T F F F T F
F F T F T T F
F F F F F F F
So itclear that Colum5 and Colum7 are not equal.

More Related Content

What's hot

Propositional logic by shawan
Propositional logic by shawanPropositional logic by shawan
Propositional logic by shawanTouhidul Shawan
 
Propositional Logic (Descreate Mathematics)
Propositional Logic (Descreate Mathematics)Propositional Logic (Descreate Mathematics)
Propositional Logic (Descreate Mathematics)Abdullah Al Amin
 
Truth, deduction, computation lecture 6
Truth, deduction, computation   lecture 6Truth, deduction, computation   lecture 6
Truth, deduction, computation lecture 6Vlad Patryshev
 
CMSC 56 | Lecture 2: Propositional Equivalences
CMSC 56 | Lecture 2: Propositional EquivalencesCMSC 56 | Lecture 2: Propositional Equivalences
CMSC 56 | Lecture 2: Propositional Equivalencesallyn joy calcaben
 
Chapter 1 Logic of Compound Statements
Chapter 1 Logic of Compound StatementsChapter 1 Logic of Compound Statements
Chapter 1 Logic of Compound Statementsguestd166eb5
 
Formal Logic - Lesson 4 - Tautology, Contradiction and Contingency
Formal Logic - Lesson 4 - Tautology, Contradiction and ContingencyFormal Logic - Lesson 4 - Tautology, Contradiction and Contingency
Formal Logic - Lesson 4 - Tautology, Contradiction and ContingencyLaguna State Polytechnic University
 
Logic (LESSON) - Truth Table, Negation, Conjunction, Dis junction,
Logic (LESSON) - Truth Table, Negation, Conjunction, Dis junction, Logic (LESSON) - Truth Table, Negation, Conjunction, Dis junction,
Logic (LESSON) - Truth Table, Negation, Conjunction, Dis junction, Ria Micor
 
Logic Notes
Logic NotesLogic Notes
Logic Notesacavis
 
Discrete mathematics Ch2 Propositional Logic_Dr.khaled.Bakro د. خالد بكرو
Discrete mathematics Ch2 Propositional Logic_Dr.khaled.Bakro د. خالد بكروDiscrete mathematics Ch2 Propositional Logic_Dr.khaled.Bakro د. خالد بكرو
Discrete mathematics Ch2 Propositional Logic_Dr.khaled.Bakro د. خالد بكروDr. Khaled Bakro
 
Mathematical Logic - Part 1
Mathematical Logic - Part 1Mathematical Logic - Part 1
Mathematical Logic - Part 1blaircomp2003
 

What's hot (18)

Truth table
Truth tableTruth table
Truth table
 
Logic
LogicLogic
Logic
 
Propositional logic by shawan
Propositional logic by shawanPropositional logic by shawan
Propositional logic by shawan
 
3 computing truth tables
3   computing truth tables3   computing truth tables
3 computing truth tables
 
Propositional Logic (Descreate Mathematics)
Propositional Logic (Descreate Mathematics)Propositional Logic (Descreate Mathematics)
Propositional Logic (Descreate Mathematics)
 
Truth, deduction, computation lecture 6
Truth, deduction, computation   lecture 6Truth, deduction, computation   lecture 6
Truth, deduction, computation lecture 6
 
Logic&proof
Logic&proofLogic&proof
Logic&proof
 
Truth table
Truth tableTruth table
Truth table
 
CMSC 56 | Lecture 2: Propositional Equivalences
CMSC 56 | Lecture 2: Propositional EquivalencesCMSC 56 | Lecture 2: Propositional Equivalences
CMSC 56 | Lecture 2: Propositional Equivalences
 
Chapter 1 Logic of Compound Statements
Chapter 1 Logic of Compound StatementsChapter 1 Logic of Compound Statements
Chapter 1 Logic of Compound Statements
 
Formal Logic - Lesson 4 - Tautology, Contradiction and Contingency
Formal Logic - Lesson 4 - Tautology, Contradiction and ContingencyFormal Logic - Lesson 4 - Tautology, Contradiction and Contingency
Formal Logic - Lesson 4 - Tautology, Contradiction and Contingency
 
Logic (LESSON) - Truth Table, Negation, Conjunction, Dis junction,
Logic (LESSON) - Truth Table, Negation, Conjunction, Dis junction, Logic (LESSON) - Truth Table, Negation, Conjunction, Dis junction,
Logic (LESSON) - Truth Table, Negation, Conjunction, Dis junction,
 
Logic Notes
Logic NotesLogic Notes
Logic Notes
 
Chapter 1
Chapter 1Chapter 1
Chapter 1
 
Mathematical Logic
Mathematical LogicMathematical Logic
Mathematical Logic
 
Discrete mathematics Ch2 Propositional Logic_Dr.khaled.Bakro د. خالد بكرو
Discrete mathematics Ch2 Propositional Logic_Dr.khaled.Bakro د. خالد بكروDiscrete mathematics Ch2 Propositional Logic_Dr.khaled.Bakro د. خالد بكرو
Discrete mathematics Ch2 Propositional Logic_Dr.khaled.Bakro د. خالد بكرو
 
Discrete mathematics
Discrete mathematicsDiscrete mathematics
Discrete mathematics
 
Mathematical Logic - Part 1
Mathematical Logic - Part 1Mathematical Logic - Part 1
Mathematical Logic - Part 1
 

Similar to Assignement of discrete mathematics

Discreate Truth tables and laws of logic
Discreate Truth tables and laws of logicDiscreate Truth tables and laws of logic
Discreate Truth tables and laws of logicZenLooper
 
Nature of Logic.pptx
Nature of Logic.pptxNature of Logic.pptx
Nature of Logic.pptxMath101BSCA1C
 
logicproof-141212042039-conversion-gate01.pdf
logicproof-141212042039-conversion-gate01.pdflogicproof-141212042039-conversion-gate01.pdf
logicproof-141212042039-conversion-gate01.pdfPradeeshSAI
 
1. Determine the truth value of the following statement Paris is .pdf
1. Determine the truth value of the following statement Paris is .pdf1. Determine the truth value of the following statement Paris is .pdf
1. Determine the truth value of the following statement Paris is .pdfakramali786
 
Laws of Logic in Discrete Structures and their applications
Laws of Logic in Discrete Structures and their applicationsLaws of Logic in Discrete Structures and their applications
Laws of Logic in Discrete Structures and their applicationsZenLooper
 
MFCS PPT.pdf
MFCS PPT.pdfMFCS PPT.pdf
MFCS PPT.pdfjayarao21
 
Drinkfromme.pptx
Drinkfromme.pptxDrinkfromme.pptx
Drinkfromme.pptxRavind8
 
Chapter 01 - p1.pdf
Chapter 01 - p1.pdfChapter 01 - p1.pdf
Chapter 01 - p1.pdfsmarwaneid
 
proposition, truth tables and tautology.pptx
proposition, truth tables and tautology.pptxproposition, truth tables and tautology.pptx
proposition, truth tables and tautology.pptxJayLagman3
 
Logic and proof
Logic and proofLogic and proof
Logic and proofSuresh Ram
 
Logic in Computer Science Unit 2 (1).pptx
Logic in Computer Science Unit 2 (1).pptxLogic in Computer Science Unit 2 (1).pptx
Logic in Computer Science Unit 2 (1).pptxPriyalMayurManvar
 

Similar to Assignement of discrete mathematics (20)

Discreate Truth tables and laws of logic
Discreate Truth tables and laws of logicDiscreate Truth tables and laws of logic
Discreate Truth tables and laws of logic
 
Bab 1 proposisi
Bab 1 proposisiBab 1 proposisi
Bab 1 proposisi
 
null-12.pdf
null-12.pdfnull-12.pdf
null-12.pdf
 
null-12.pdf
null-12.pdfnull-12.pdf
null-12.pdf
 
Nature of Logic.pptx
Nature of Logic.pptxNature of Logic.pptx
Nature of Logic.pptx
 
Per3 logika&pembuktian
Per3 logika&pembuktianPer3 logika&pembuktian
Per3 logika&pembuktian
 
logicproof-141212042039-conversion-gate01.pdf
logicproof-141212042039-conversion-gate01.pdflogicproof-141212042039-conversion-gate01.pdf
logicproof-141212042039-conversion-gate01.pdf
 
1. Determine the truth value of the following statement Paris is .pdf
1. Determine the truth value of the following statement Paris is .pdf1. Determine the truth value of the following statement Paris is .pdf
1. Determine the truth value of the following statement Paris is .pdf
 
Laws of Logic in Discrete Structures and their applications
Laws of Logic in Discrete Structures and their applicationsLaws of Logic in Discrete Structures and their applications
Laws of Logic in Discrete Structures and their applications
 
Mathematical Logic
Mathematical LogicMathematical Logic
Mathematical Logic
 
LOGIC
LOGICLOGIC
LOGIC
 
MFCS PPT.pdf
MFCS PPT.pdfMFCS PPT.pdf
MFCS PPT.pdf
 
Drinkfromme.pptx
Drinkfromme.pptxDrinkfromme.pptx
Drinkfromme.pptx
 
4 ch 2 logical reasoning
4 ch 2 logical reasoning4 ch 2 logical reasoning
4 ch 2 logical reasoning
 
Chapter 01 - p1.pdf
Chapter 01 - p1.pdfChapter 01 - p1.pdf
Chapter 01 - p1.pdf
 
Chapter1p1.pdf
Chapter1p1.pdfChapter1p1.pdf
Chapter1p1.pdf
 
proposition, truth tables and tautology.pptx
proposition, truth tables and tautology.pptxproposition, truth tables and tautology.pptx
proposition, truth tables and tautology.pptx
 
Logic and proof
Logic and proofLogic and proof
Logic and proof
 
Chapter1p1
Chapter1p1Chapter1p1
Chapter1p1
 
Logic in Computer Science Unit 2 (1).pptx
Logic in Computer Science Unit 2 (1).pptxLogic in Computer Science Unit 2 (1).pptx
Logic in Computer Science Unit 2 (1).pptx
 

More from Syed Umair

Assignement code
Assignement codeAssignement code
Assignement codeSyed Umair
 
New microsoft office word document
New microsoft office word documentNew microsoft office word document
New microsoft office word documentSyed Umair
 
New microsoft office word document (2)
New microsoft office word document (2)New microsoft office word document (2)
New microsoft office word document (2)Syed Umair
 
Assignement of programming & problem solving
Assignement of programming & problem solvingAssignement of programming & problem solving
Assignement of programming & problem solvingSyed Umair
 
Assignement of discrete mathematics
Assignement of discrete mathematicsAssignement of discrete mathematics
Assignement of discrete mathematicsSyed Umair
 
Assignment c++12
Assignment c++12Assignment c++12
Assignment c++12Syed Umair
 
Assignement c++
Assignement c++Assignement c++
Assignement c++Syed Umair
 
Static keyword u.s ass.(2)
Static keyword u.s ass.(2)Static keyword u.s ass.(2)
Static keyword u.s ass.(2)Syed Umair
 

More from Syed Umair (20)

Assignement code
Assignement codeAssignement code
Assignement code
 
Tree 4
Tree 4Tree 4
Tree 4
 
Title page
Title pageTitle page
Title page
 
S.k
S.kS.k
S.k
 
Q.a
Q.aQ.a
Q.a
 
Prog
ProgProg
Prog
 
Perception
PerceptionPerception
Perception
 
New microsoft office word document
New microsoft office word documentNew microsoft office word document
New microsoft office word document
 
New microsoft office word document (2)
New microsoft office word document (2)New microsoft office word document (2)
New microsoft office word document (2)
 
M.b
M.bM.b
M.b
 
C++ 4
C++ 4C++ 4
C++ 4
 
B.g
B.gB.g
B.g
 
Assignement of programming & problem solving
Assignement of programming & problem solvingAssignement of programming & problem solving
Assignement of programming & problem solving
 
Assignement of discrete mathematics
Assignement of discrete mathematicsAssignement of discrete mathematics
Assignement of discrete mathematics
 
A.i
A.iA.i
A.i
 
H m
H mH m
H m
 
Prog
ProgProg
Prog
 
Assignment c++12
Assignment c++12Assignment c++12
Assignment c++12
 
Assignement c++
Assignement c++Assignement c++
Assignement c++
 
Static keyword u.s ass.(2)
Static keyword u.s ass.(2)Static keyword u.s ass.(2)
Static keyword u.s ass.(2)
 

Recently uploaded

ESP 4-EDITED.pdfmmcncncncmcmmnmnmncnmncmnnjvnnv
ESP 4-EDITED.pdfmmcncncncmcmmnmnmncnmncmnnjvnnvESP 4-EDITED.pdfmmcncncncmcmmnmnmncnmncmnnjvnnv
ESP 4-EDITED.pdfmmcncncncmcmmnmnmncnmncmnnjvnnvRicaMaeCastro1
 
Beauty Amidst the Bytes_ Unearthing Unexpected Advantages of the Digital Wast...
Beauty Amidst the Bytes_ Unearthing Unexpected Advantages of the Digital Wast...Beauty Amidst the Bytes_ Unearthing Unexpected Advantages of the Digital Wast...
Beauty Amidst the Bytes_ Unearthing Unexpected Advantages of the Digital Wast...DhatriParmar
 
Mythology Quiz-4th April 2024, Quiz Club NITW
Mythology Quiz-4th April 2024, Quiz Club NITWMythology Quiz-4th April 2024, Quiz Club NITW
Mythology Quiz-4th April 2024, Quiz Club NITWQuiz Club NITW
 
4.16.24 Poverty and Precarity--Desmond.pptx
4.16.24 Poverty and Precarity--Desmond.pptx4.16.24 Poverty and Precarity--Desmond.pptx
4.16.24 Poverty and Precarity--Desmond.pptxmary850239
 
Expanded definition: technical and operational
Expanded definition: technical and operationalExpanded definition: technical and operational
Expanded definition: technical and operationalssuser3e220a
 
Multi Domain Alias In the Odoo 17 ERP Module
Multi Domain Alias In the Odoo 17 ERP ModuleMulti Domain Alias In the Odoo 17 ERP Module
Multi Domain Alias In the Odoo 17 ERP ModuleCeline George
 
ROLES IN A STAGE PRODUCTION in arts.pptx
ROLES IN A STAGE PRODUCTION in arts.pptxROLES IN A STAGE PRODUCTION in arts.pptx
ROLES IN A STAGE PRODUCTION in arts.pptxVanesaIglesias10
 
How to Make a Duplicate of Your Odoo 17 Database
How to Make a Duplicate of Your Odoo 17 DatabaseHow to Make a Duplicate of Your Odoo 17 Database
How to Make a Duplicate of Your Odoo 17 DatabaseCeline George
 
MS4 level being good citizen -imperative- (1) (1).pdf
MS4 level   being good citizen -imperative- (1) (1).pdfMS4 level   being good citizen -imperative- (1) (1).pdf
MS4 level being good citizen -imperative- (1) (1).pdfMr Bounab Samir
 
Decoding the Tweet _ Practical Criticism in the Age of Hashtag.pptx
Decoding the Tweet _ Practical Criticism in the Age of Hashtag.pptxDecoding the Tweet _ Practical Criticism in the Age of Hashtag.pptx
Decoding the Tweet _ Practical Criticism in the Age of Hashtag.pptxDhatriParmar
 
Grade 9 Quarter 4 Dll Grade 9 Quarter 4 DLL.pdf
Grade 9 Quarter 4 Dll Grade 9 Quarter 4 DLL.pdfGrade 9 Quarter 4 Dll Grade 9 Quarter 4 DLL.pdf
Grade 9 Quarter 4 Dll Grade 9 Quarter 4 DLL.pdfJemuel Francisco
 
week 1 cookery 8 fourth - quarter .pptx
week 1 cookery 8  fourth  -  quarter .pptxweek 1 cookery 8  fourth  -  quarter .pptx
week 1 cookery 8 fourth - quarter .pptxJonalynLegaspi2
 
31 ĐỀ THI THỬ VÀO LỚP 10 - TIẾNG ANH - FORM MỚI 2025 - 40 CÂU HỎI - BÙI VĂN V...
31 ĐỀ THI THỬ VÀO LỚP 10 - TIẾNG ANH - FORM MỚI 2025 - 40 CÂU HỎI - BÙI VĂN V...31 ĐỀ THI THỬ VÀO LỚP 10 - TIẾNG ANH - FORM MỚI 2025 - 40 CÂU HỎI - BÙI VĂN V...
31 ĐỀ THI THỬ VÀO LỚP 10 - TIẾNG ANH - FORM MỚI 2025 - 40 CÂU HỎI - BÙI VĂN V...Nguyen Thanh Tu Collection
 
Oppenheimer Film Discussion for Philosophy and Film
Oppenheimer Film Discussion for Philosophy and FilmOppenheimer Film Discussion for Philosophy and Film
Oppenheimer Film Discussion for Philosophy and FilmStan Meyer
 
Q-Factor HISPOL Quiz-6th April 2024, Quiz Club NITW
Q-Factor HISPOL Quiz-6th April 2024, Quiz Club NITWQ-Factor HISPOL Quiz-6th April 2024, Quiz Club NITW
Q-Factor HISPOL Quiz-6th April 2024, Quiz Club NITWQuiz Club NITW
 
Student Profile Sample - We help schools to connect the data they have, with ...
Student Profile Sample - We help schools to connect the data they have, with ...Student Profile Sample - We help schools to connect the data they have, with ...
Student Profile Sample - We help schools to connect the data they have, with ...Seán Kennedy
 
ClimART Action | eTwinning Project
ClimART Action    |    eTwinning ProjectClimART Action    |    eTwinning Project
ClimART Action | eTwinning Projectjordimapav
 

Recently uploaded (20)

INCLUSIVE EDUCATION PRACTICES FOR TEACHERS AND TRAINERS.pptx
INCLUSIVE EDUCATION PRACTICES FOR TEACHERS AND TRAINERS.pptxINCLUSIVE EDUCATION PRACTICES FOR TEACHERS AND TRAINERS.pptx
INCLUSIVE EDUCATION PRACTICES FOR TEACHERS AND TRAINERS.pptx
 
ESP 4-EDITED.pdfmmcncncncmcmmnmnmncnmncmnnjvnnv
ESP 4-EDITED.pdfmmcncncncmcmmnmnmncnmncmnnjvnnvESP 4-EDITED.pdfmmcncncncmcmmnmnmncnmncmnnjvnnv
ESP 4-EDITED.pdfmmcncncncmcmmnmnmncnmncmnnjvnnv
 
Beauty Amidst the Bytes_ Unearthing Unexpected Advantages of the Digital Wast...
Beauty Amidst the Bytes_ Unearthing Unexpected Advantages of the Digital Wast...Beauty Amidst the Bytes_ Unearthing Unexpected Advantages of the Digital Wast...
Beauty Amidst the Bytes_ Unearthing Unexpected Advantages of the Digital Wast...
 
Mythology Quiz-4th April 2024, Quiz Club NITW
Mythology Quiz-4th April 2024, Quiz Club NITWMythology Quiz-4th April 2024, Quiz Club NITW
Mythology Quiz-4th April 2024, Quiz Club NITW
 
prashanth updated resume 2024 for Teaching Profession
prashanth updated resume 2024 for Teaching Professionprashanth updated resume 2024 for Teaching Profession
prashanth updated resume 2024 for Teaching Profession
 
4.16.24 Poverty and Precarity--Desmond.pptx
4.16.24 Poverty and Precarity--Desmond.pptx4.16.24 Poverty and Precarity--Desmond.pptx
4.16.24 Poverty and Precarity--Desmond.pptx
 
Expanded definition: technical and operational
Expanded definition: technical and operationalExpanded definition: technical and operational
Expanded definition: technical and operational
 
Multi Domain Alias In the Odoo 17 ERP Module
Multi Domain Alias In the Odoo 17 ERP ModuleMulti Domain Alias In the Odoo 17 ERP Module
Multi Domain Alias In the Odoo 17 ERP Module
 
ROLES IN A STAGE PRODUCTION in arts.pptx
ROLES IN A STAGE PRODUCTION in arts.pptxROLES IN A STAGE PRODUCTION in arts.pptx
ROLES IN A STAGE PRODUCTION in arts.pptx
 
How to Make a Duplicate of Your Odoo 17 Database
How to Make a Duplicate of Your Odoo 17 DatabaseHow to Make a Duplicate of Your Odoo 17 Database
How to Make a Duplicate of Your Odoo 17 Database
 
MS4 level being good citizen -imperative- (1) (1).pdf
MS4 level   being good citizen -imperative- (1) (1).pdfMS4 level   being good citizen -imperative- (1) (1).pdf
MS4 level being good citizen -imperative- (1) (1).pdf
 
Decoding the Tweet _ Practical Criticism in the Age of Hashtag.pptx
Decoding the Tweet _ Practical Criticism in the Age of Hashtag.pptxDecoding the Tweet _ Practical Criticism in the Age of Hashtag.pptx
Decoding the Tweet _ Practical Criticism in the Age of Hashtag.pptx
 
Grade 9 Quarter 4 Dll Grade 9 Quarter 4 DLL.pdf
Grade 9 Quarter 4 Dll Grade 9 Quarter 4 DLL.pdfGrade 9 Quarter 4 Dll Grade 9 Quarter 4 DLL.pdf
Grade 9 Quarter 4 Dll Grade 9 Quarter 4 DLL.pdf
 
week 1 cookery 8 fourth - quarter .pptx
week 1 cookery 8  fourth  -  quarter .pptxweek 1 cookery 8  fourth  -  quarter .pptx
week 1 cookery 8 fourth - quarter .pptx
 
31 ĐỀ THI THỬ VÀO LỚP 10 - TIẾNG ANH - FORM MỚI 2025 - 40 CÂU HỎI - BÙI VĂN V...
31 ĐỀ THI THỬ VÀO LỚP 10 - TIẾNG ANH - FORM MỚI 2025 - 40 CÂU HỎI - BÙI VĂN V...31 ĐỀ THI THỬ VÀO LỚP 10 - TIẾNG ANH - FORM MỚI 2025 - 40 CÂU HỎI - BÙI VĂN V...
31 ĐỀ THI THỬ VÀO LỚP 10 - TIẾNG ANH - FORM MỚI 2025 - 40 CÂU HỎI - BÙI VĂN V...
 
Oppenheimer Film Discussion for Philosophy and Film
Oppenheimer Film Discussion for Philosophy and FilmOppenheimer Film Discussion for Philosophy and Film
Oppenheimer Film Discussion for Philosophy and Film
 
Q-Factor HISPOL Quiz-6th April 2024, Quiz Club NITW
Q-Factor HISPOL Quiz-6th April 2024, Quiz Club NITWQ-Factor HISPOL Quiz-6th April 2024, Quiz Club NITW
Q-Factor HISPOL Quiz-6th April 2024, Quiz Club NITW
 
Student Profile Sample - We help schools to connect the data they have, with ...
Student Profile Sample - We help schools to connect the data they have, with ...Student Profile Sample - We help schools to connect the data they have, with ...
Student Profile Sample - We help schools to connect the data they have, with ...
 
ClimART Action | eTwinning Project
ClimART Action    |    eTwinning ProjectClimART Action    |    eTwinning Project
ClimART Action | eTwinning Project
 
Paradigm shift in nursing research by RS MEHTA
Paradigm shift in nursing research by RS MEHTAParadigm shift in nursing research by RS MEHTA
Paradigm shift in nursing research by RS MEHTA
 

Assignement of discrete mathematics

  • 1. Discrete Mathematics Defecation of Discrete Mathematics: Concerns processesthatconsist of a sequence of individual step are calledDiscrete Mathematics Continuous Discrete LOGIC: Logic studyof principlesandmethodthatdistinguishes/differenceb/w validandinvalidargumentis calledlogic. Simple statement: A statementisdeclarativesentence thatiseithertrue orfalse butnotboth. A statementisalsoreferredtoasa proposition Examples: 1. If a propositionistrue thenwe saythata value istrue. 2. Andif propositionisfalse thenwe saythattruth value isfalse. 3. Truth & false are denotedbyT and F Examples: Propositions: NotProposition: 1. Grass is green. Close the door. 2. 4+3=6. X isgreaterthan 2. 3. 4+2=6. He isveryrich. Rules: If the sentence isprecededbyothersentencesthatmake the pronounorvariable referenceclear,then the sentence isa statement.
  • 2. Examples: False True I. X=1 Bill gatesisan American II. x>3 He is veryRich III. x>3 is a statementwithtruth-value He is veryrichis a statementwith truth-value UNDERSTANDINGSTATEMENTS: 1. X+2 ispositive Nota statement 2. May I come in? Nota statement 3. Logic isinteresting A statement 4. It ishot today A statement Compound Statement: Simple statementcouldbe usedtobuildacompoundstatement. Examples: 1. 3+2=5 and Multan isa city of Pakistan 2. The grass is greenor itis hottoday 3. Ali isnot veryrich And,Not,ORare called Logical Connectives. SYMBOLICREPRESENTATION: Statementis symbolicallyrepresentedbyletterssuchas“p,q, r… EXAMPLES: p=”Multan isa cityof Pakistan” q=”17 is divisible by3” CONNECTIV MEANING SYMBOL CALLED NEGATION NOT ˜ TILDE CONJUNCTION AND ^ HAT DISJUNCTION OR v VEL CONDITIONAL IF……THEN  ARROW BICONDITIONAL IF ANDONLY IF  DOUBLE ARROW
  • 3. EXAMPLES: p=”Multan isa cityof Pakistan” q=”Ali isa Muslim” p ^ q=”Multanis a city of Pakistan”AND“Ali isa Muslim” p v q=” Multan isa cityof Pakistan”OR”Ali isa Muslim” ˜p=”Multanis nota cityof Pakistan” TRANSLATINGFROMENGLISHTO SYMBOLIS: Let p=”itis cold”,AND“it isAli” SENTENCE SYMBOLIC 1. It isnot cold ˜P 2. It iscold ANDAli P ^ q 3. It iscold OR Ali p v q 4. It isNOT coldBUT Ali ˜p ^ q COMPOUNDSTATEMENTEXAMPLES: Let a=”Ali isHealthy” b=”Ali isWealthy” c=”Ali is Wise” i. Ali ishealthyANDwealthyButNOTwise. (a ^ b) ^ (˜c) ii. Ali isNOT healthyBUThe iswealthyANDwise. (˜a) ^ (b^ c) iii. Ali isNEITHER healthy,WealthyNORwise. (˜a ^ ~ b v ~ c) TRANSLATINGFROMSYMBOLSTO ENGLISH: Let: m=”Ali isa good inmath” c=”Ali is a com. science student” I. ~ C Ali is“NOT” com. Science student. II. C v m Ali iscom. Science student”OR“goodinmath. III. M ^ ~ c Ali isgoodin math” BUT AND NOT“a com. Science student.
  • 4. WHAT IS TRUTH TABLE? A truthtable specifiesthe truthvalue of acompoundpropositionforall possibletruthvaluesof its constituentproposition. A convenientmethodforanalyzingacompoundstatement istomake a truth table toit NEGATION (~)  If p=statementvariable,thennegationof p“NOTp”, isdenotedby“~p”  If p istrue,~p is false  If p isfalse ~p istrue TRUTH TABLE FOR ~P P ~P T F F T CONJUNCTION (^)  If p andq is statementthenconjunctionis“pand q”  Denotedby“p ^q”  If p andq are true thentrue  If both or eitherfalse thenFalse P ^q P q P ^q T T T T F F F T F F F F DISJUNCTION (v)  If P and q is statementthen“por q”  Denotedby“p v q”  If both are false thenfalse  If both or eitheristrue thentrue
  • 5.  P v q P q P v q T T T T F T F T T F F F  Truth Table for this statement ~p^ q P q ~p ~p ^q T T F F T F F F F T T T F F T F  Truth Table for ~p^ (qv ~r) P q r ~r (q v ~r) ~p ~p ^(q v ~r) T T T F T F F T T F T T F F T F T F F F F T F F T T F F F T T F T T T F T F T T T T F F T F F T F F F F T T T T  Truth table for (p v q) ^ ~ (p^q) P q (p v q) (p ^ q) ~(p ^q) (p v q)^~(p ^q) T T T T F F T F T F T T F T T F T T F F F F T F Double negationproperty ~ (~p) =p P (~p) ~(~p) T F T F T F So itis clearthat “p” and double negationof “p”isequal. Example Englishtosymbolic P= I am Umair Shah
  • 6. ~p= I am not Umair Shah ~ (~p) = I am Umair Shah So itis clearthat double negationof “p”isalsoequal to “p”.  ~ (p^q) & ~p ^~q are not Equal. P q (p ^q) ~(p ^q) ~p ~q ~p ^~q T T T F F F F T F F T F T F F T F T T F F F F F T T T T So itis clearthat “~ (p^q) & ~p ^~q” are not equal De Morgan’sLaw 1. The negationof “AND” statementislogicallyequivalenttothe “OR” statementinwhicheach componentisnegated.  Symbolically~(p ^q) = ~p v ~q P q P ^q ~(p ^q) ~p ~q ~p v ~q T T T F F F F T F F T F T T F T F T T F T F F F T T T T So itis clearthat ~ (p^q) = ~p v ~q are logicallyequivalent 2. The negationof “OR” statementislogicallyequivalenttothe “AND”statementinwhichcomponent isnegated.  Symbolically~(p v q) = ~p ^ ~q P q (P v q) ~(p v q) ~p ~q ~p ^ ~q T T T F F F F T F T F F T F F T T F T F F F F F T T T T So itis clearthat ~ (pv q) = ~p ^ ~q is Equal. Application Negationforeachof the following: a. The fanis slowor itis veryhot
  • 7. b. Ali isfitor Awaisis injured. Solution: a. The fan isnot slow“AND”it is not veryhot b. Ali is not fit“AND” Awaisisnotinjured InequalitiesandDE MORGANESlaw: Exercise: 1. (p ^q) ^ r = P^(q ^ r) p q r (p ^q) (p ^q)^r (q ^r) P^(q ^r) T T T T T T T T T F T F F F T F T F F F F T F F F F F F F T T F F T F F T F F F F F F F T F F F F F F F F F F F So itclearsthat Colum5 and Colum7 are equal 2. (P ^q) v r = p ^ (qv r)????? P q r (p ^q) (p ^q) v r (q v r) P ^(q v r) T T T T T T T T T F T T T T T F T F T T T T F F F F F F F T T F T T F F T F F F T F F F T F T T F F F F F F F F So itclear that Colum5 and Colum7 are not equal.