SlideShare a Scribd company logo
1 of 1
STATEMENTS
Sentence which is either true or false but not both at the same time is called a
statement.
Statements are denoted by p,q,r ........
If a statement is true, its truth value is ''T" and if it is false, its truth
value is "F" Ex: p: 6 > - 4 (T)
If two or more statements combine with the connectives (or, and, if...
then, if and only if) are called compound statements.
Compound statements are Disjunction, Conjunction, Implication and
Bi-implication.
If p, q are simple statements
p v q (p or q) - Disjunction
p Λ q (p and q) - conjunction
p q (P implies q) - Implication
P q (P double implies q) - Bi-implication
• Tautologies: Some compound statements contain only 'T' in the last
column of their truth tables. Such statements are called tautologies.
Ex: p Λ (~q) p
• Contradiction: A compound statement which contains only "F" in the
last column of its truth table is called a contradiction.
Ex: p Λ (~p)
• Quantifiers: 2 types
1) Universal quantifiers 2) Existential quantifier
1) The quantifier, 'for all' or 'for every' denoted by " ", is called the
universal quantifier.
2) The quantifier 'for some' or 'there exists atleast one' is called the
existential quantifier. It is denoted by " ".
• Converse, Inverse and Contrapositive of of a Implication:
Implication : p q
Converse : q p
Inverse : ~p ~q
Contrapositive : ~q ~p

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
 
Logical Operators in Brief with examples
Logical Operators in Brief with examplesLogical Operators in Brief with examples
Logical Operators in Brief with examples
MujtaBa Khan
 
Assignement of discrete mathematics
Assignement of discrete mathematicsAssignement of discrete mathematics
Assignement of discrete mathematics
Syed Umair
 
Discrete Structures lecture 2
 Discrete Structures lecture 2 Discrete Structures lecture 2
Discrete Structures lecture 2
Ali Usman
 
Logic
LogicLogic
Logic
H K
 

What's hot (18)

Mathematical Logic - Part 1
Mathematical Logic - Part 1Mathematical Logic - Part 1
Mathematical Logic - Part 1
 
Chapter 1 Logic of Compound Statements
Chapter 1 Logic of Compound StatementsChapter 1 Logic of Compound Statements
Chapter 1 Logic of Compound Statements
 
3 computing truth tables
3   computing truth tables3   computing truth tables
3 computing truth tables
 
Propositional logic
Propositional  logicPropositional  logic
Propositional logic
 
The logic
The logicThe logic
The logic
 
Computer Organization and Assembly Language
Computer Organization and Assembly LanguageComputer Organization and Assembly Language
Computer Organization and Assembly Language
 
Mathematical Logic Part 2
Mathematical Logic Part 2Mathematical Logic Part 2
Mathematical Logic Part 2
 
Conjunction And Disjunction
 Conjunction And Disjunction Conjunction And Disjunction
Conjunction And Disjunction
 
Logical Operators in Brief with examples
Logical Operators in Brief with examplesLogical Operators in Brief with examples
Logical Operators in Brief with examples
 
Assignement of discrete mathematics
Assignement of discrete mathematicsAssignement of discrete mathematics
Assignement of discrete mathematics
 
Discrete Structures lecture 2
 Discrete Structures lecture 2 Discrete Structures lecture 2
Discrete Structures lecture 2
 
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 د. خالد بكرو
 
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,
 
Comparative forms and superlative forms
Comparative forms and superlative formsComparative forms and superlative forms
Comparative forms and superlative forms
 
Mathematical Logic
Mathematical LogicMathematical Logic
Mathematical Logic
 
Prpositional2
Prpositional2Prpositional2
Prpositional2
 
Logic
LogicLogic
Logic
 
Truth tables complete and p1 of short method
Truth tables complete and p1 of short methodTruth tables complete and p1 of short method
Truth tables complete and p1 of short method
 

Similar to Statements

logicproof-141212042039-conversion-gate01.pdf
logicproof-141212042039-conversion-gate01.pdflogicproof-141212042039-conversion-gate01.pdf
logicproof-141212042039-conversion-gate01.pdf
PradeeshSAI
 
Disrete mathematics and_its application_by_rosen _7th edition_lecture_1
Disrete mathematics and_its application_by_rosen _7th edition_lecture_1Disrete mathematics and_its application_by_rosen _7th edition_lecture_1
Disrete mathematics and_its application_by_rosen _7th edition_lecture_1
taimoor iftikhar
 
20220818151924_PPT01 - The Logic of Compound and Quantitative Statement.pptx
20220818151924_PPT01 - The Logic of Compound and Quantitative Statement.pptx20220818151924_PPT01 - The Logic of Compound and Quantitative Statement.pptx
20220818151924_PPT01 - The Logic of Compound and Quantitative Statement.pptx
ssuser92109d
 
Mathematical foundations of computer science
Mathematical foundations of computer scienceMathematical foundations of computer science
Mathematical foundations of computer science
BindhuBhargaviTalasi
 
Inductive reasoning & logic
Inductive reasoning & logicInductive reasoning & logic
Inductive reasoning & logic
tommy34g
 

Similar to Statements (20)

Propositional logic
Propositional logicPropositional logic
Propositional logic
 
UGC NET Computer Science & Application book.pdf [Sample]
UGC NET Computer Science & Application book.pdf  [Sample]UGC NET Computer Science & Application book.pdf  [Sample]
UGC NET Computer Science & Application book.pdf [Sample]
 
Logic&proof
Logic&proofLogic&proof
Logic&proof
 
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
 
Disrete mathematics and_its application_by_rosen _7th edition_lecture_1
Disrete mathematics and_its application_by_rosen _7th edition_lecture_1Disrete mathematics and_its application_by_rosen _7th edition_lecture_1
Disrete mathematics and_its application_by_rosen _7th edition_lecture_1
 
20220818151924_PPT01 - The Logic of Compound and Quantitative Statement.pptx
20220818151924_PPT01 - The Logic of Compound and Quantitative Statement.pptx20220818151924_PPT01 - The Logic of Compound and Quantitative Statement.pptx
20220818151924_PPT01 - The Logic of Compound and Quantitative Statement.pptx
 
Slide subtopic 1
Slide subtopic 1Slide subtopic 1
Slide subtopic 1
 
Discrete mathematics
Discrete mathematicsDiscrete mathematics
Discrete mathematics
 
dms.pptx
dms.pptxdms.pptx
dms.pptx
 
Logical Connectives NOT AND OR
Logical Connectives NOT AND ORLogical Connectives NOT AND OR
Logical Connectives NOT AND OR
 
dm-logic.pdf
dm-logic.pdfdm-logic.pdf
dm-logic.pdf
 
Mathematical foundations of computer science
Mathematical foundations of computer scienceMathematical foundations of computer science
Mathematical foundations of computer science
 
Lecture-3-and-4.pdf
Lecture-3-and-4.pdfLecture-3-and-4.pdf
Lecture-3-and-4.pdf
 
03 propsem
03 propsem03 propsem
03 propsem
 
L4-IntroducClick to edit Master title styletion to logic.pptx
L4-IntroducClick to edit Master title styletion to logic.pptxL4-IntroducClick to edit Master title styletion to logic.pptx
L4-IntroducClick to edit Master title styletion to logic.pptx
 
2.pdf
2.pdf2.pdf
2.pdf
 
Mathematical Logic
Mathematical LogicMathematical Logic
Mathematical Logic
 
Inductive reasoning & logic
Inductive reasoning & logicInductive reasoning & logic
Inductive reasoning & logic
 
Chapter 1
Chapter 1Chapter 1
Chapter 1
 

Statements

  • 1. STATEMENTS Sentence which is either true or false but not both at the same time is called a statement. Statements are denoted by p,q,r ........ If a statement is true, its truth value is ''T" and if it is false, its truth value is "F" Ex: p: 6 > - 4 (T) If two or more statements combine with the connectives (or, and, if... then, if and only if) are called compound statements. Compound statements are Disjunction, Conjunction, Implication and Bi-implication. If p, q are simple statements p v q (p or q) - Disjunction p Λ q (p and q) - conjunction p q (P implies q) - Implication P q (P double implies q) - Bi-implication • Tautologies: Some compound statements contain only 'T' in the last column of their truth tables. Such statements are called tautologies. Ex: p Λ (~q) p • Contradiction: A compound statement which contains only "F" in the last column of its truth table is called a contradiction. Ex: p Λ (~p) • Quantifiers: 2 types 1) Universal quantifiers 2) Existential quantifier 1) The quantifier, 'for all' or 'for every' denoted by " ", is called the universal quantifier. 2) The quantifier 'for some' or 'there exists atleast one' is called the existential quantifier. It is denoted by " ". • Converse, Inverse and Contrapositive of of a Implication: Implication : p q Converse : q p Inverse : ~p ~q Contrapositive : ~q ~p