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
 
Chapter 1: The Foundations: Logic and Proofs
Chapter 1: The Foundations: Logic and ProofsChapter 1: The Foundations: Logic and Proofs
Chapter 1: The Foundations: Logic and ProofsProfSHananeel
 
Logic and proof
Logic and proofLogic and proof
Logic and proofSuresh Ram
 

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
 
Chapter 1: The Foundations: Logic and Proofs
Chapter 1: The Foundations: Logic and ProofsChapter 1: The Foundations: Logic and Proofs
Chapter 1: The Foundations: Logic and Proofs
 
Logic and proof
Logic and proofLogic and proof
Logic and proof
 
Chapter1p1
Chapter1p1Chapter1p1
Chapter1p1
 

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

UGC NET Paper 1 Mathematical Reasoning & Aptitude.pdf
UGC NET Paper 1 Mathematical Reasoning & Aptitude.pdfUGC NET Paper 1 Mathematical Reasoning & Aptitude.pdf
UGC NET Paper 1 Mathematical Reasoning & Aptitude.pdfNirmal Dwivedi
 
Single or Multiple melodic lines structure
Single or Multiple melodic lines structureSingle or Multiple melodic lines structure
Single or Multiple melodic lines structuredhanjurrannsibayan2
 
How to Manage Global Discount in Odoo 17 POS
How to Manage Global Discount in Odoo 17 POSHow to Manage Global Discount in Odoo 17 POS
How to Manage Global Discount in Odoo 17 POSCeline George
 
Spellings Wk 3 English CAPS CARES Please Practise
Spellings Wk 3 English CAPS CARES Please PractiseSpellings Wk 3 English CAPS CARES Please Practise
Spellings Wk 3 English CAPS CARES Please PractiseAnaAcapella
 
How to setup Pycharm environment for Odoo 17.pptx
How to setup Pycharm environment for Odoo 17.pptxHow to setup Pycharm environment for Odoo 17.pptx
How to setup Pycharm environment for Odoo 17.pptxCeline George
 
Food safety_Challenges food safety laboratories_.pdf
Food safety_Challenges food safety laboratories_.pdfFood safety_Challenges food safety laboratories_.pdf
Food safety_Challenges food safety laboratories_.pdfSherif Taha
 
Introduction to Nonprofit Accounting: The Basics
Introduction to Nonprofit Accounting: The BasicsIntroduction to Nonprofit Accounting: The Basics
Introduction to Nonprofit Accounting: The BasicsTechSoup
 
Wellbeing inclusion and digital dystopias.pptx
Wellbeing inclusion and digital dystopias.pptxWellbeing inclusion and digital dystopias.pptx
Wellbeing inclusion and digital dystopias.pptxJisc
 
REMIFENTANIL: An Ultra short acting opioid.pptx
REMIFENTANIL: An Ultra short acting opioid.pptxREMIFENTANIL: An Ultra short acting opioid.pptx
REMIFENTANIL: An Ultra short acting opioid.pptxDr. Ravikiran H M Gowda
 
2024-NATIONAL-LEARNING-CAMP-AND-OTHER.pptx
2024-NATIONAL-LEARNING-CAMP-AND-OTHER.pptx2024-NATIONAL-LEARNING-CAMP-AND-OTHER.pptx
2024-NATIONAL-LEARNING-CAMP-AND-OTHER.pptxMaritesTamaniVerdade
 
TỔNG ÔN TẬP THI VÀO LỚP 10 MÔN TIẾNG ANH NĂM HỌC 2023 - 2024 CÓ ĐÁP ÁN (NGỮ Â...
TỔNG ÔN TẬP THI VÀO LỚP 10 MÔN TIẾNG ANH NĂM HỌC 2023 - 2024 CÓ ĐÁP ÁN (NGỮ Â...TỔNG ÔN TẬP THI VÀO LỚP 10 MÔN TIẾNG ANH NĂM HỌC 2023 - 2024 CÓ ĐÁP ÁN (NGỮ Â...
TỔNG ÔN TẬP THI VÀO LỚP 10 MÔN TIẾNG ANH NĂM HỌC 2023 - 2024 CÓ ĐÁP ÁN (NGỮ Â...Nguyen Thanh Tu Collection
 
FSB Advising Checklist - Orientation 2024
FSB Advising Checklist - Orientation 2024FSB Advising Checklist - Orientation 2024
FSB Advising Checklist - Orientation 2024Elizabeth Walsh
 
ICT role in 21st century education and it's challenges.
ICT role in 21st century education and it's challenges.ICT role in 21st century education and it's challenges.
ICT role in 21st century education and it's challenges.MaryamAhmad92
 
Holdier Curriculum Vitae (April 2024).pdf
Holdier Curriculum Vitae (April 2024).pdfHoldier Curriculum Vitae (April 2024).pdf
Holdier Curriculum Vitae (April 2024).pdfagholdier
 
Basic Civil Engineering first year Notes- Chapter 4 Building.pptx
Basic Civil Engineering first year Notes- Chapter 4 Building.pptxBasic Civil Engineering first year Notes- Chapter 4 Building.pptx
Basic Civil Engineering first year Notes- Chapter 4 Building.pptxDenish Jangid
 
SKILL OF INTRODUCING THE LESSON MICRO SKILLS.pptx
SKILL OF INTRODUCING THE LESSON MICRO SKILLS.pptxSKILL OF INTRODUCING THE LESSON MICRO SKILLS.pptx
SKILL OF INTRODUCING THE LESSON MICRO SKILLS.pptxAmanpreet Kaur
 
Python Notes for mca i year students osmania university.docx
Python Notes for mca i year students osmania university.docxPython Notes for mca i year students osmania university.docx
Python Notes for mca i year students osmania university.docxRamakrishna Reddy Bijjam
 
Micro-Scholarship, What it is, How can it help me.pdf
Micro-Scholarship, What it is, How can it help me.pdfMicro-Scholarship, What it is, How can it help me.pdf
Micro-Scholarship, What it is, How can it help me.pdfPoh-Sun Goh
 
Unit 3 Emotional Intelligence and Spiritual Intelligence.pdf
Unit 3 Emotional Intelligence and Spiritual Intelligence.pdfUnit 3 Emotional Intelligence and Spiritual Intelligence.pdf
Unit 3 Emotional Intelligence and Spiritual Intelligence.pdfDr Vijay Vishwakarma
 

Recently uploaded (20)

UGC NET Paper 1 Mathematical Reasoning & Aptitude.pdf
UGC NET Paper 1 Mathematical Reasoning & Aptitude.pdfUGC NET Paper 1 Mathematical Reasoning & Aptitude.pdf
UGC NET Paper 1 Mathematical Reasoning & Aptitude.pdf
 
Single or Multiple melodic lines structure
Single or Multiple melodic lines structureSingle or Multiple melodic lines structure
Single or Multiple melodic lines structure
 
How to Manage Global Discount in Odoo 17 POS
How to Manage Global Discount in Odoo 17 POSHow to Manage Global Discount in Odoo 17 POS
How to Manage Global Discount in Odoo 17 POS
 
Spellings Wk 3 English CAPS CARES Please Practise
Spellings Wk 3 English CAPS CARES Please PractiseSpellings Wk 3 English CAPS CARES Please Practise
Spellings Wk 3 English CAPS CARES Please Practise
 
How to setup Pycharm environment for Odoo 17.pptx
How to setup Pycharm environment for Odoo 17.pptxHow to setup Pycharm environment for Odoo 17.pptx
How to setup Pycharm environment for Odoo 17.pptx
 
Food safety_Challenges food safety laboratories_.pdf
Food safety_Challenges food safety laboratories_.pdfFood safety_Challenges food safety laboratories_.pdf
Food safety_Challenges food safety laboratories_.pdf
 
Introduction to Nonprofit Accounting: The Basics
Introduction to Nonprofit Accounting: The BasicsIntroduction to Nonprofit Accounting: The Basics
Introduction to Nonprofit Accounting: The Basics
 
Wellbeing inclusion and digital dystopias.pptx
Wellbeing inclusion and digital dystopias.pptxWellbeing inclusion and digital dystopias.pptx
Wellbeing inclusion and digital dystopias.pptx
 
REMIFENTANIL: An Ultra short acting opioid.pptx
REMIFENTANIL: An Ultra short acting opioid.pptxREMIFENTANIL: An Ultra short acting opioid.pptx
REMIFENTANIL: An Ultra short acting opioid.pptx
 
2024-NATIONAL-LEARNING-CAMP-AND-OTHER.pptx
2024-NATIONAL-LEARNING-CAMP-AND-OTHER.pptx2024-NATIONAL-LEARNING-CAMP-AND-OTHER.pptx
2024-NATIONAL-LEARNING-CAMP-AND-OTHER.pptx
 
TỔNG ÔN TẬP THI VÀO LỚP 10 MÔN TIẾNG ANH NĂM HỌC 2023 - 2024 CÓ ĐÁP ÁN (NGỮ Â...
TỔNG ÔN TẬP THI VÀO LỚP 10 MÔN TIẾNG ANH NĂM HỌC 2023 - 2024 CÓ ĐÁP ÁN (NGỮ Â...TỔNG ÔN TẬP THI VÀO LỚP 10 MÔN TIẾNG ANH NĂM HỌC 2023 - 2024 CÓ ĐÁP ÁN (NGỮ Â...
TỔNG ÔN TẬP THI VÀO LỚP 10 MÔN TIẾNG ANH NĂM HỌC 2023 - 2024 CÓ ĐÁP ÁN (NGỮ Â...
 
FSB Advising Checklist - Orientation 2024
FSB Advising Checklist - Orientation 2024FSB Advising Checklist - Orientation 2024
FSB Advising Checklist - Orientation 2024
 
ICT role in 21st century education and it's challenges.
ICT role in 21st century education and it's challenges.ICT role in 21st century education and it's challenges.
ICT role in 21st century education and it's challenges.
 
Holdier Curriculum Vitae (April 2024).pdf
Holdier Curriculum Vitae (April 2024).pdfHoldier Curriculum Vitae (April 2024).pdf
Holdier Curriculum Vitae (April 2024).pdf
 
Basic Civil Engineering first year Notes- Chapter 4 Building.pptx
Basic Civil Engineering first year Notes- Chapter 4 Building.pptxBasic Civil Engineering first year Notes- Chapter 4 Building.pptx
Basic Civil Engineering first year Notes- Chapter 4 Building.pptx
 
Mehran University Newsletter Vol-X, Issue-I, 2024
Mehran University Newsletter Vol-X, Issue-I, 2024Mehran University Newsletter Vol-X, Issue-I, 2024
Mehran University Newsletter Vol-X, Issue-I, 2024
 
SKILL OF INTRODUCING THE LESSON MICRO SKILLS.pptx
SKILL OF INTRODUCING THE LESSON MICRO SKILLS.pptxSKILL OF INTRODUCING THE LESSON MICRO SKILLS.pptx
SKILL OF INTRODUCING THE LESSON MICRO SKILLS.pptx
 
Python Notes for mca i year students osmania university.docx
Python Notes for mca i year students osmania university.docxPython Notes for mca i year students osmania university.docx
Python Notes for mca i year students osmania university.docx
 
Micro-Scholarship, What it is, How can it help me.pdf
Micro-Scholarship, What it is, How can it help me.pdfMicro-Scholarship, What it is, How can it help me.pdf
Micro-Scholarship, What it is, How can it help me.pdf
 
Unit 3 Emotional Intelligence and Spiritual Intelligence.pdf
Unit 3 Emotional Intelligence and Spiritual Intelligence.pdfUnit 3 Emotional Intelligence and Spiritual Intelligence.pdf
Unit 3 Emotional Intelligence and Spiritual Intelligence.pdf
 

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.