SlideShare une entreprise Scribd logo
1  sur  7
Télécharger pour lire hors ligne
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.

Contenu connexe

Tendances

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
 

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

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

Similaire à 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
 
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
 
Chapter 1
Chapter 1Chapter 1
Chapter 1
 

Plus de 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
 
Assignment c++12
Assignment c++12Assignment c++12
Assignment c++12Syed Umair
 
Assignement of discrete mathematics
Assignement of discrete mathematicsAssignement of discrete mathematics
Assignement of discrete mathematicsSyed 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
 

Plus de 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
 
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 of discrete mathematics
Assignement of discrete mathematicsAssignement of discrete mathematics
Assignement of discrete mathematics
 
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)
 

Dernier

Philosophy of Education and Educational Philosophy
Philosophy of Education  and Educational PhilosophyPhilosophy of Education  and Educational Philosophy
Philosophy of Education and Educational PhilosophyShuvankar Madhu
 
In - Vivo and In - Vitro Correlation.pptx
In - Vivo and In - Vitro Correlation.pptxIn - Vivo and In - Vitro Correlation.pptx
In - Vivo and In - Vitro Correlation.pptxAditiChauhan701637
 
HED Office Sohayok Exam Question Solution 2023.pdf
HED Office Sohayok Exam Question Solution 2023.pdfHED Office Sohayok Exam Question Solution 2023.pdf
HED Office Sohayok Exam Question Solution 2023.pdfMohonDas
 
3.21.24 The Origins of Black Power.pptx
3.21.24  The Origins of Black Power.pptx3.21.24  The Origins of Black Power.pptx
3.21.24 The Origins of Black Power.pptxmary850239
 
How to Make a Field read-only in Odoo 17
How to Make a Field read-only in Odoo 17How to Make a Field read-only in Odoo 17
How to Make a Field read-only in Odoo 17Celine George
 
3.19.24 Urban Uprisings and the Chicago Freedom Movement.pptx
3.19.24 Urban Uprisings and the Chicago Freedom Movement.pptx3.19.24 Urban Uprisings and the Chicago Freedom Movement.pptx
3.19.24 Urban Uprisings and the Chicago Freedom Movement.pptxmary850239
 
Ultra structure and life cycle of Plasmodium.pptx
Ultra structure and life cycle of Plasmodium.pptxUltra structure and life cycle of Plasmodium.pptx
Ultra structure and life cycle of Plasmodium.pptxDr. Asif Anas
 
AUDIENCE THEORY -- FANDOM -- JENKINS.pptx
AUDIENCE THEORY -- FANDOM -- JENKINS.pptxAUDIENCE THEORY -- FANDOM -- JENKINS.pptx
AUDIENCE THEORY -- FANDOM -- JENKINS.pptxiammrhaywood
 
PISA-VET launch_El Iza Mohamedou_19 March 2024.pptx
PISA-VET launch_El Iza Mohamedou_19 March 2024.pptxPISA-VET launch_El Iza Mohamedou_19 March 2024.pptx
PISA-VET launch_El Iza Mohamedou_19 March 2024.pptxEduSkills OECD
 
Maximizing Impact_ Nonprofit Website Planning, Budgeting, and Design.pdf
Maximizing Impact_ Nonprofit Website Planning, Budgeting, and Design.pdfMaximizing Impact_ Nonprofit Website Planning, Budgeting, and Design.pdf
Maximizing Impact_ Nonprofit Website Planning, Budgeting, and Design.pdfTechSoup
 
Patient Counselling. Definition of patient counseling; steps involved in pati...
Patient Counselling. Definition of patient counseling; steps involved in pati...Patient Counselling. Definition of patient counseling; steps involved in pati...
Patient Counselling. Definition of patient counseling; steps involved in pati...raviapr7
 
How to Print Employee Resume in the Odoo 17
How to Print Employee Resume in the Odoo 17How to Print Employee Resume in the Odoo 17
How to Print Employee Resume in the Odoo 17Celine George
 
How to Use api.constrains ( ) in Odoo 17
How to Use api.constrains ( ) in Odoo 17How to Use api.constrains ( ) in Odoo 17
How to Use api.constrains ( ) in Odoo 17Celine George
 
General views of Histopathology and step
General views of Histopathology and stepGeneral views of Histopathology and step
General views of Histopathology and stepobaje godwin sunday
 
NOTES OF DRUGS ACTING ON NERVOUS SYSTEM .pdf
NOTES OF DRUGS ACTING ON NERVOUS SYSTEM .pdfNOTES OF DRUGS ACTING ON NERVOUS SYSTEM .pdf
NOTES OF DRUGS ACTING ON NERVOUS SYSTEM .pdfSumit Tiwari
 
Latin American Revolutions, c. 1789-1830
Latin American Revolutions, c. 1789-1830Latin American Revolutions, c. 1789-1830
Latin American Revolutions, c. 1789-1830Dave Phillips
 
Clinical Pharmacy Introduction to Clinical Pharmacy, Concept of clinical pptx
Clinical Pharmacy  Introduction to Clinical Pharmacy, Concept of clinical pptxClinical Pharmacy  Introduction to Clinical Pharmacy, Concept of clinical pptx
Clinical Pharmacy Introduction to Clinical Pharmacy, Concept of clinical pptxraviapr7
 
Prescribed medication order and communication skills.pptx
Prescribed medication order and communication skills.pptxPrescribed medication order and communication skills.pptx
Prescribed medication order and communication skills.pptxraviapr7
 

Dernier (20)

Philosophy of Education and Educational Philosophy
Philosophy of Education  and Educational PhilosophyPhilosophy of Education  and Educational Philosophy
Philosophy of Education and Educational Philosophy
 
In - Vivo and In - Vitro Correlation.pptx
In - Vivo and In - Vitro Correlation.pptxIn - Vivo and In - Vitro Correlation.pptx
In - Vivo and In - Vitro Correlation.pptx
 
HED Office Sohayok Exam Question Solution 2023.pdf
HED Office Sohayok Exam Question Solution 2023.pdfHED Office Sohayok Exam Question Solution 2023.pdf
HED Office Sohayok Exam Question Solution 2023.pdf
 
Finals of Kant get Marx 2.0 : a general politics quiz
Finals of Kant get Marx 2.0 : a general politics quizFinals of Kant get Marx 2.0 : a general politics quiz
Finals of Kant get Marx 2.0 : a general politics quiz
 
3.21.24 The Origins of Black Power.pptx
3.21.24  The Origins of Black Power.pptx3.21.24  The Origins of Black Power.pptx
3.21.24 The Origins of Black Power.pptx
 
How to Make a Field read-only in Odoo 17
How to Make a Field read-only in Odoo 17How to Make a Field read-only in Odoo 17
How to Make a Field read-only in Odoo 17
 
3.19.24 Urban Uprisings and the Chicago Freedom Movement.pptx
3.19.24 Urban Uprisings and the Chicago Freedom Movement.pptx3.19.24 Urban Uprisings and the Chicago Freedom Movement.pptx
3.19.24 Urban Uprisings and the Chicago Freedom Movement.pptx
 
Ultra structure and life cycle of Plasmodium.pptx
Ultra structure and life cycle of Plasmodium.pptxUltra structure and life cycle of Plasmodium.pptx
Ultra structure and life cycle of Plasmodium.pptx
 
AUDIENCE THEORY -- FANDOM -- JENKINS.pptx
AUDIENCE THEORY -- FANDOM -- JENKINS.pptxAUDIENCE THEORY -- FANDOM -- JENKINS.pptx
AUDIENCE THEORY -- FANDOM -- JENKINS.pptx
 
PISA-VET launch_El Iza Mohamedou_19 March 2024.pptx
PISA-VET launch_El Iza Mohamedou_19 March 2024.pptxPISA-VET launch_El Iza Mohamedou_19 March 2024.pptx
PISA-VET launch_El Iza Mohamedou_19 March 2024.pptx
 
Maximizing Impact_ Nonprofit Website Planning, Budgeting, and Design.pdf
Maximizing Impact_ Nonprofit Website Planning, Budgeting, and Design.pdfMaximizing Impact_ Nonprofit Website Planning, Budgeting, and Design.pdf
Maximizing Impact_ Nonprofit Website Planning, Budgeting, and Design.pdf
 
Patient Counselling. Definition of patient counseling; steps involved in pati...
Patient Counselling. Definition of patient counseling; steps involved in pati...Patient Counselling. Definition of patient counseling; steps involved in pati...
Patient Counselling. Definition of patient counseling; steps involved in pati...
 
How to Print Employee Resume in the Odoo 17
How to Print Employee Resume in the Odoo 17How to Print Employee Resume in the Odoo 17
How to Print Employee Resume in the Odoo 17
 
How to Use api.constrains ( ) in Odoo 17
How to Use api.constrains ( ) in Odoo 17How to Use api.constrains ( ) in Odoo 17
How to Use api.constrains ( ) in Odoo 17
 
General views of Histopathology and step
General views of Histopathology and stepGeneral views of Histopathology and step
General views of Histopathology and step
 
NOTES OF DRUGS ACTING ON NERVOUS SYSTEM .pdf
NOTES OF DRUGS ACTING ON NERVOUS SYSTEM .pdfNOTES OF DRUGS ACTING ON NERVOUS SYSTEM .pdf
NOTES OF DRUGS ACTING ON NERVOUS SYSTEM .pdf
 
Latin American Revolutions, c. 1789-1830
Latin American Revolutions, c. 1789-1830Latin American Revolutions, c. 1789-1830
Latin American Revolutions, c. 1789-1830
 
Personal Resilience in Project Management 2 - TV Edit 1a.pdf
Personal Resilience in Project Management 2 - TV Edit 1a.pdfPersonal Resilience in Project Management 2 - TV Edit 1a.pdf
Personal Resilience in Project Management 2 - TV Edit 1a.pdf
 
Clinical Pharmacy Introduction to Clinical Pharmacy, Concept of clinical pptx
Clinical Pharmacy  Introduction to Clinical Pharmacy, Concept of clinical pptxClinical Pharmacy  Introduction to Clinical Pharmacy, Concept of clinical pptx
Clinical Pharmacy Introduction to Clinical Pharmacy, Concept of clinical pptx
 
Prescribed medication order and communication skills.pptx
Prescribed medication order and communication skills.pptxPrescribed medication order and communication skills.pptx
Prescribed medication order and communication skills.pptx
 

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.