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

Chapter 1 Logic of Compound Statements
Chapter 1 Logic of Compound StatementsChapter 1 Logic of Compound Statements
Chapter 1 Logic of Compound Statements
guestd166eb5
 
Logic Notes
Logic NotesLogic Notes
Logic Notes
acavis
 

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

logicproof-141212042039-conversion-gate01.pdf
logicproof-141212042039-conversion-gate01.pdflogicproof-141212042039-conversion-gate01.pdf
logicproof-141212042039-conversion-gate01.pdf
PradeeshSAI
 
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
akramali786
 
proposition, truth tables and tautology.pptx
proposition, truth tables and tautology.pptxproposition, truth tables and tautology.pptx
proposition, truth tables and tautology.pptx
JayLagman3
 

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
 
lectures in prolog in order to advance in artificial intelligence
lectures in prolog in order to advance in artificial intelligencelectures in prolog in order to advance in artificial intelligence
lectures in prolog in order to advance in artificial intelligence
 
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
 

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

Recently uploaded

The basics of sentences session 3pptx.pptx
The basics of sentences session 3pptx.pptxThe basics of sentences session 3pptx.pptx
The basics of sentences session 3pptx.pptx
heathfieldcps1
 
Jual Obat Aborsi Hongkong ( Asli No.1 ) 085657271886 Obat Penggugur Kandungan...
Jual Obat Aborsi Hongkong ( Asli No.1 ) 085657271886 Obat Penggugur Kandungan...Jual Obat Aborsi Hongkong ( Asli No.1 ) 085657271886 Obat Penggugur Kandungan...
Jual Obat Aborsi Hongkong ( Asli No.1 ) 085657271886 Obat Penggugur Kandungan...
ZurliaSoop
 

Recently uploaded (20)

HMCS Vancouver Pre-Deployment Brief - May 2024 (Web Version).pptx
HMCS Vancouver Pre-Deployment Brief - May 2024 (Web Version).pptxHMCS Vancouver Pre-Deployment Brief - May 2024 (Web Version).pptx
HMCS Vancouver Pre-Deployment Brief - May 2024 (Web Version).pptx
 
How to Create and Manage Wizard in Odoo 17
How to Create and Manage Wizard in Odoo 17How to Create and Manage Wizard in Odoo 17
How to Create and Manage Wizard in Odoo 17
 
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
 
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
 
COMMUNICATING NEGATIVE NEWS - APPROACHES .pptx
COMMUNICATING NEGATIVE NEWS - APPROACHES .pptxCOMMUNICATING NEGATIVE NEWS - APPROACHES .pptx
COMMUNICATING NEGATIVE NEWS - APPROACHES .pptx
 
How to Add New Custom Addons Path in Odoo 17
How to Add New Custom Addons Path in Odoo 17How to Add New Custom Addons Path in Odoo 17
How to Add New Custom Addons Path in Odoo 17
 
Plant propagation: Sexual and Asexual propapagation.pptx
Plant propagation: Sexual and Asexual propapagation.pptxPlant propagation: Sexual and Asexual propapagation.pptx
Plant propagation: Sexual and Asexual propapagation.pptx
 
Fostering Friendships - Enhancing Social Bonds in the Classroom
Fostering Friendships - Enhancing Social Bonds  in the ClassroomFostering Friendships - Enhancing Social Bonds  in the Classroom
Fostering Friendships - Enhancing Social Bonds in the Classroom
 
The basics of sentences session 3pptx.pptx
The basics of sentences session 3pptx.pptxThe basics of sentences session 3pptx.pptx
The basics of sentences session 3pptx.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Ữ Â...
 
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
 
Exploring_the_Narrative_Style_of_Amitav_Ghoshs_Gun_Island.pptx
Exploring_the_Narrative_Style_of_Amitav_Ghoshs_Gun_Island.pptxExploring_the_Narrative_Style_of_Amitav_Ghoshs_Gun_Island.pptx
Exploring_the_Narrative_Style_of_Amitav_Ghoshs_Gun_Island.pptx
 
Understanding Accommodations and Modifications
Understanding  Accommodations and ModificationsUnderstanding  Accommodations and Modifications
Understanding Accommodations and Modifications
 
Jual Obat Aborsi Hongkong ( Asli No.1 ) 085657271886 Obat Penggugur Kandungan...
Jual Obat Aborsi Hongkong ( Asli No.1 ) 085657271886 Obat Penggugur Kandungan...Jual Obat Aborsi Hongkong ( Asli No.1 ) 085657271886 Obat Penggugur Kandungan...
Jual Obat Aborsi Hongkong ( Asli No.1 ) 085657271886 Obat Penggugur Kandungan...
 
Accessible Digital Futures project (20/03/2024)
Accessible Digital Futures project (20/03/2024)Accessible Digital Futures project (20/03/2024)
Accessible Digital Futures project (20/03/2024)
 
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
 
Interdisciplinary_Insights_Data_Collection_Methods.pptx
Interdisciplinary_Insights_Data_Collection_Methods.pptxInterdisciplinary_Insights_Data_Collection_Methods.pptx
Interdisciplinary_Insights_Data_Collection_Methods.pptx
 
HMCS Max Bernays Pre-Deployment Brief (May 2024).pptx
HMCS Max Bernays Pre-Deployment Brief (May 2024).pptxHMCS Max Bernays Pre-Deployment Brief (May 2024).pptx
HMCS Max Bernays Pre-Deployment Brief (May 2024).pptx
 
This PowerPoint helps students to consider the concept of infinity.
This PowerPoint helps students to consider the concept of infinity.This PowerPoint helps students to consider the concept of infinity.
This PowerPoint helps students to consider the concept of infinity.
 
Towards a code of practice for AI in AT.pptx
Towards a code of practice for AI in AT.pptxTowards a code of practice for AI in AT.pptx
Towards a code of practice for AI in AT.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.