SlideShare a Scribd company logo
1 of 13
Logic
Propositions
• An assertion which is definitely either true or
  false is called a proposition, shown by the letters
  p, q, r, s, ….
• Examples:
• Dogs with six legs.
• 2+3=5
• Come here.
• Who is that?
• The triangle is negative.
Truth values of proposition
• The truth and falsity of a proposition is called
  its truth value. The numbers 1 and 0 are used
  as the truth values of the true and false
  propositions respectively.
                                 p
             true                1
   p
             false               0
p   q
            1
                1   1
    1   q
            0   1   0
p
            1   0   1
    0   q
            0   0   0
Equivalent propositions
• Two propositions p and q have the same truth
  value they are said to be equivalent
  propositions, denoted as
Negation of a proposition
• The negation of a proposition p is denoted by
  p’ . The following table provides some
  information about negation.

 p      p’       Some symbols       negation
 1      0             =                ≠
 0      1             >                ≤
                      ≥                <
Compound Propositions
• A proposition which is formed two or more
  propositions by using connective words is called a
  compound proposition.

               Connective Words:
                      And
                       Or
                     Then
                 If and only if
Connective       Symbol     Name

    and            ∧      conjunction

     or            ∨      Disjunction

If …. then ….
                   =>     Implication
   (implies)

If and only if           Equivalence
Conjunction ∧
• A compound proposition of p and q formed
  using the connective word “and” is called
  conjunction of p and q, written as p∧q.
• The conjunction of p and q is true if both p
  and q are true otherwise it is false.
                p   q    p∧q
                1   1     1
                1   0     0
                0   1     0
                0   0     0
Disjunction ∨
• A compound proposition of p and q formed
  using the connective word “or” is called
  disjunction of p and q, written as p∨q.
• The disjunction of p and q is false if both p
  and q are false otherwise it is true.
                p    q    p∨q
                1    1     1
                1    0     1
                0    1     1
                0    0     0
Common properties of ∧ and ∨
Common properties of ∧ and ∨
Common properties of ∧ and ∨

More Related Content

What's hot

Inductive reasoning & logic
Inductive reasoning & logicInductive reasoning & logic
Inductive reasoning & logictommy34g
 
Discrete Mathematics - Propositional Logic
Discrete Mathematics - Propositional LogicDiscrete Mathematics - Propositional Logic
Discrete Mathematics - Propositional LogicUniversity of Potsdam
 
Method of direct proof
Method of direct proofMethod of direct proof
Method of direct proofAbdur Rehman
 
1.3.4 Syllogisms
1.3.4 Syllogisms1.3.4 Syllogisms
1.3.4 Syllogismssmiller5
 
Proofs and disproofs
Proofs and disproofsProofs and disproofs
Proofs and disproofsLakshmi R
 
Discrete Structures. Lecture 1
 Discrete Structures. Lecture 1  Discrete Structures. Lecture 1
Discrete Structures. Lecture 1 Ali Usman
 
Proofs by contraposition
Proofs by contrapositionProofs by contraposition
Proofs by contrapositionAbdur Rehman
 
Inductive Reasoning
Inductive ReasoningInductive Reasoning
Inductive Reasoningarlan
 
Conditional statements dkjfoafoiej
Conditional statements dkjfoafoiejConditional statements dkjfoafoiej
Conditional statements dkjfoafoiejmzzbarnes
 
CMSC 56 | Lecture 1: Propositional Logic
CMSC 56 | Lecture 1: Propositional LogicCMSC 56 | Lecture 1: Propositional Logic
CMSC 56 | Lecture 1: Propositional Logicallyn joy calcaben
 
3.6 &amp; 7. pumping lemma for cfl &amp; problems based on pl
3.6 &amp; 7. pumping lemma for cfl &amp; problems based on pl3.6 &amp; 7. pumping lemma for cfl &amp; problems based on pl
3.6 &amp; 7. pumping lemma for cfl &amp; problems based on plSampath Kumar S
 

What's hot (15)

Propositional Logic and Pridicate logic
Propositional Logic and Pridicate logicPropositional Logic and Pridicate logic
Propositional Logic and Pridicate logic
 
Discrete Math Lecture 02: First Order Logic
Discrete Math Lecture 02: First Order LogicDiscrete Math Lecture 02: First Order Logic
Discrete Math Lecture 02: First Order Logic
 
Inductive reasoning & logic
Inductive reasoning & logicInductive reasoning & logic
Inductive reasoning & logic
 
Discrete Mathematics - Propositional Logic
Discrete Mathematics - Propositional LogicDiscrete Mathematics - Propositional Logic
Discrete Mathematics - Propositional Logic
 
Method of direct proof
Method of direct proofMethod of direct proof
Method of direct proof
 
1.3.4 Syllogisms
1.3.4 Syllogisms1.3.4 Syllogisms
1.3.4 Syllogisms
 
Proofs and disproofs
Proofs and disproofsProofs and disproofs
Proofs and disproofs
 
Discrete Structures. Lecture 1
 Discrete Structures. Lecture 1  Discrete Structures. Lecture 1
Discrete Structures. Lecture 1
 
Truth table
Truth tableTruth table
Truth table
 
Proofs by contraposition
Proofs by contrapositionProofs by contraposition
Proofs by contraposition
 
Logic agent
Logic agentLogic agent
Logic agent
 
Inductive Reasoning
Inductive ReasoningInductive Reasoning
Inductive Reasoning
 
Conditional statements dkjfoafoiej
Conditional statements dkjfoafoiejConditional statements dkjfoafoiej
Conditional statements dkjfoafoiej
 
CMSC 56 | Lecture 1: Propositional Logic
CMSC 56 | Lecture 1: Propositional LogicCMSC 56 | Lecture 1: Propositional Logic
CMSC 56 | Lecture 1: Propositional Logic
 
3.6 &amp; 7. pumping lemma for cfl &amp; problems based on pl
3.6 &amp; 7. pumping lemma for cfl &amp; problems based on pl3.6 &amp; 7. pumping lemma for cfl &amp; problems based on pl
3.6 &amp; 7. pumping lemma for cfl &amp; problems based on pl
 

Viewers also liked

Top 10 highest mountains in the philippines
Top 10 highest mountains in the philippinesTop 10 highest mountains in the philippines
Top 10 highest mountains in the philippinesEdmundo Dantes
 
Volcanoes In the Philippines
Volcanoes In the PhilippinesVolcanoes In the Philippines
Volcanoes In the PhilippinesChristine Serrano
 
Volcanoes in the Philippines and the World (Earth Science Tour Guide task)
Volcanoes in the Philippines and the World (Earth Science Tour Guide task)Volcanoes in the Philippines and the World (Earth Science Tour Guide task)
Volcanoes in the Philippines and the World (Earth Science Tour Guide task)Sophiazanedeniz Lumibaw
 
Volcanoes powerpoint
Volcanoes powerpointVolcanoes powerpoint
Volcanoes powerpointLavalittle
 
Grade 9 Module 1, Lesson 1.1: Volcanoes (Teacher's Guide for Discussion)
Grade 9 Module 1, Lesson 1.1: Volcanoes (Teacher's Guide for Discussion)Grade 9 Module 1, Lesson 1.1: Volcanoes (Teacher's Guide for Discussion)
Grade 9 Module 1, Lesson 1.1: Volcanoes (Teacher's Guide for Discussion)Rachel Espino
 

Viewers also liked (7)

Top 10 highest mountains in the philippines
Top 10 highest mountains in the philippinesTop 10 highest mountains in the philippines
Top 10 highest mountains in the philippines
 
Motion
MotionMotion
Motion
 
Motion g7
Motion g7Motion g7
Motion g7
 
Volcanoes In the Philippines
Volcanoes In the PhilippinesVolcanoes In the Philippines
Volcanoes In the Philippines
 
Volcanoes in the Philippines and the World (Earth Science Tour Guide task)
Volcanoes in the Philippines and the World (Earth Science Tour Guide task)Volcanoes in the Philippines and the World (Earth Science Tour Guide task)
Volcanoes in the Philippines and the World (Earth Science Tour Guide task)
 
Volcanoes powerpoint
Volcanoes powerpointVolcanoes powerpoint
Volcanoes powerpoint
 
Grade 9 Module 1, Lesson 1.1: Volcanoes (Teacher's Guide for Discussion)
Grade 9 Module 1, Lesson 1.1: Volcanoes (Teacher's Guide for Discussion)Grade 9 Module 1, Lesson 1.1: Volcanoes (Teacher's Guide for Discussion)
Grade 9 Module 1, Lesson 1.1: Volcanoes (Teacher's Guide for Discussion)
 

Similar to Logic

Discrete mathematics Chapter1 presentation.ppt
Discrete mathematics Chapter1 presentation.pptDiscrete mathematics Chapter1 presentation.ppt
Discrete mathematics Chapter1 presentation.pptNandiniSR2
 
Propositional And First-Order Logic
Propositional And First-Order LogicPropositional And First-Order Logic
Propositional And First-Order Logicankush_kumar
 
Discrete mathematics [LOGICAL CONNECTIVES]
Discrete mathematics [LOGICAL CONNECTIVES]Discrete mathematics [LOGICAL CONNECTIVES]
Discrete mathematics [LOGICAL CONNECTIVES]KalingoAurobindo
 
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
 
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.pptxssuser92109d
 
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]DIwakar Rajput
 
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_1taimoor iftikhar
 
Proving existential statements
Proving existential statementsProving existential statements
Proving existential statementsAbdur Rehman
 
desmath(1).ppt
desmath(1).pptdesmath(1).ppt
desmath(1).pptMemMem25
 

Similar to Logic (15)

Discrete mathematics Chapter1 presentation.ppt
Discrete mathematics Chapter1 presentation.pptDiscrete mathematics Chapter1 presentation.ppt
Discrete mathematics Chapter1 presentation.ppt
 
Propositional And First-Order Logic
Propositional And First-Order LogicPropositional And First-Order Logic
Propositional And First-Order Logic
 
Discrete mathematics [LOGICAL CONNECTIVES]
Discrete mathematics [LOGICAL CONNECTIVES]Discrete mathematics [LOGICAL CONNECTIVES]
Discrete mathematics [LOGICAL CONNECTIVES]
 
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 د. خالد بكرو
 
Math
MathMath
Math
 
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
 
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]
 
DS Lecture 2.ppt
DS Lecture 2.pptDS Lecture 2.ppt
DS Lecture 2.ppt
 
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
 
DMS UNIT-1 ppt.pptx
DMS UNIT-1 ppt.pptxDMS UNIT-1 ppt.pptx
DMS UNIT-1 ppt.pptx
 
Slide subtopic 2
Slide subtopic 2Slide subtopic 2
Slide subtopic 2
 
Slide subtopic 2
Slide subtopic 2Slide subtopic 2
Slide subtopic 2
 
Logic
LogicLogic
Logic
 
Proving existential statements
Proving existential statementsProving existential statements
Proving existential statements
 
desmath(1).ppt
desmath(1).pptdesmath(1).ppt
desmath(1).ppt
 

More from mstf mstf

Trigonometry by mstfdemirdag
Trigonometry by mstfdemirdagTrigonometry by mstfdemirdag
Trigonometry by mstfdemirdagmstf mstf
 
Functions by mstfdemirdag
Functions by mstfdemirdagFunctions by mstfdemirdag
Functions by mstfdemirdagmstf mstf
 
Trigonometric functions
Trigonometric functionsTrigonometric functions
Trigonometric functionsmstf mstf
 
Quadratic functions
Quadratic functionsQuadratic functions
Quadratic functionsmstf mstf
 
Sequences and series
Sequences and seriesSequences and series
Sequences and seriesmstf mstf
 
Pre geometry
Pre geometryPre geometry
Pre geometrymstf mstf
 
Solving linear equations in two
Solving linear equations in twoSolving linear equations in two
Solving linear equations in twomstf mstf
 
Natural numbers
Natural numbersNatural numbers
Natural numbersmstf mstf
 
Divisibility
DivisibilityDivisibility
Divisibilitymstf mstf
 
Prime numbers and factorization
Prime numbers and factorizationPrime numbers and factorization
Prime numbers and factorizationmstf mstf
 
Motion in two dimensions
Motion in two dimensionsMotion in two dimensions
Motion in two dimensionsmstf mstf
 
Relative motion
Relative motionRelative motion
Relative motionmstf mstf
 

More from mstf mstf (20)

Trigonometry by mstfdemirdag
Trigonometry by mstfdemirdagTrigonometry by mstfdemirdag
Trigonometry by mstfdemirdag
 
Functions by mstfdemirdag
Functions by mstfdemirdagFunctions by mstfdemirdag
Functions by mstfdemirdag
 
Trigonometric functions
Trigonometric functionsTrigonometric functions
Trigonometric functions
 
Quadratic functions
Quadratic functionsQuadratic functions
Quadratic functions
 
Sequences and series
Sequences and seriesSequences and series
Sequences and series
 
Functions
FunctionsFunctions
Functions
 
Pre geometry
Pre geometryPre geometry
Pre geometry
 
Solving linear equations in two
Solving linear equations in twoSolving linear equations in two
Solving linear equations in two
 
Natural numbers
Natural numbersNatural numbers
Natural numbers
 
Density
DensityDensity
Density
 
Mechanics
MechanicsMechanics
Mechanics
 
Divisibility
DivisibilityDivisibility
Divisibility
 
Free fall
Free fallFree fall
Free fall
 
Prime numbers and factorization
Prime numbers and factorizationPrime numbers and factorization
Prime numbers and factorization
 
Exponents
ExponentsExponents
Exponents
 
Motion in two dimensions
Motion in two dimensionsMotion in two dimensions
Motion in two dimensions
 
Force
ForceForce
Force
 
Radicals
RadicalsRadicals
Radicals
 
Fractions
FractionsFractions
Fractions
 
Relative motion
Relative motionRelative motion
Relative motion
 

Recently uploaded

Opportunities, challenges, and power of media and information
Opportunities, challenges, and power of media and informationOpportunities, challenges, and power of media and information
Opportunities, challenges, and power of media and informationReyMonsales
 
Referendum Party 2024 Election Manifesto
Referendum Party 2024 Election ManifestoReferendum Party 2024 Election Manifesto
Referendum Party 2024 Election ManifestoSABC News
 
Quiz for Heritage Indian including all the rounds
Quiz for Heritage Indian including all the roundsQuiz for Heritage Indian including all the rounds
Quiz for Heritage Indian including all the roundsnaxymaxyy
 
57 Bidens Annihilation Nation Policy.pdf
57 Bidens Annihilation Nation Policy.pdf57 Bidens Annihilation Nation Policy.pdf
57 Bidens Annihilation Nation Policy.pdfGerald Furnkranz
 
Global Terrorism and its types and prevention ppt.
Global Terrorism and its types and prevention ppt.Global Terrorism and its types and prevention ppt.
Global Terrorism and its types and prevention ppt.NaveedKhaskheli1
 
Manipur-Book-Final-2-compressed.pdfsal'rpk
Manipur-Book-Final-2-compressed.pdfsal'rpkManipur-Book-Final-2-compressed.pdfsal'rpk
Manipur-Book-Final-2-compressed.pdfsal'rpkbhavenpr
 
AP Election Survey 2024: TDP-Janasena-BJP Alliance Set To Sweep Victory
AP Election Survey 2024: TDP-Janasena-BJP Alliance Set To Sweep VictoryAP Election Survey 2024: TDP-Janasena-BJP Alliance Set To Sweep Victory
AP Election Survey 2024: TDP-Janasena-BJP Alliance Set To Sweep Victoryanjanibaddipudi1
 
Brief biography of Julius Robert Oppenheimer
Brief biography of Julius Robert OppenheimerBrief biography of Julius Robert Oppenheimer
Brief biography of Julius Robert OppenheimerOmarCabrera39
 
IndiaWest: Your Trusted Source for Today's Global News
IndiaWest: Your Trusted Source for Today's Global NewsIndiaWest: Your Trusted Source for Today's Global News
IndiaWest: Your Trusted Source for Today's Global NewsIndiaWest2
 
complaint-ECI-PM-media-1-Chandru.pdfra;;prfk
complaint-ECI-PM-media-1-Chandru.pdfra;;prfkcomplaint-ECI-PM-media-1-Chandru.pdfra;;prfk
complaint-ECI-PM-media-1-Chandru.pdfra;;prfkbhavenpr
 
Rohan Jaitley: Central Gov't Standing Counsel for Justice
Rohan Jaitley: Central Gov't Standing Counsel for JusticeRohan Jaitley: Central Gov't Standing Counsel for Justice
Rohan Jaitley: Central Gov't Standing Counsel for JusticeAbdulGhani778830
 
Top 10 Wealthiest People In The World.pdf
Top 10 Wealthiest People In The World.pdfTop 10 Wealthiest People In The World.pdf
Top 10 Wealthiest People In The World.pdfauroraaudrey4826
 
VIP Girls Available Call or WhatsApp 9711199012
VIP Girls Available Call or WhatsApp 9711199012VIP Girls Available Call or WhatsApp 9711199012
VIP Girls Available Call or WhatsApp 9711199012ankitnayak356677
 

Recently uploaded (13)

Opportunities, challenges, and power of media and information
Opportunities, challenges, and power of media and informationOpportunities, challenges, and power of media and information
Opportunities, challenges, and power of media and information
 
Referendum Party 2024 Election Manifesto
Referendum Party 2024 Election ManifestoReferendum Party 2024 Election Manifesto
Referendum Party 2024 Election Manifesto
 
Quiz for Heritage Indian including all the rounds
Quiz for Heritage Indian including all the roundsQuiz for Heritage Indian including all the rounds
Quiz for Heritage Indian including all the rounds
 
57 Bidens Annihilation Nation Policy.pdf
57 Bidens Annihilation Nation Policy.pdf57 Bidens Annihilation Nation Policy.pdf
57 Bidens Annihilation Nation Policy.pdf
 
Global Terrorism and its types and prevention ppt.
Global Terrorism and its types and prevention ppt.Global Terrorism and its types and prevention ppt.
Global Terrorism and its types and prevention ppt.
 
Manipur-Book-Final-2-compressed.pdfsal'rpk
Manipur-Book-Final-2-compressed.pdfsal'rpkManipur-Book-Final-2-compressed.pdfsal'rpk
Manipur-Book-Final-2-compressed.pdfsal'rpk
 
AP Election Survey 2024: TDP-Janasena-BJP Alliance Set To Sweep Victory
AP Election Survey 2024: TDP-Janasena-BJP Alliance Set To Sweep VictoryAP Election Survey 2024: TDP-Janasena-BJP Alliance Set To Sweep Victory
AP Election Survey 2024: TDP-Janasena-BJP Alliance Set To Sweep Victory
 
Brief biography of Julius Robert Oppenheimer
Brief biography of Julius Robert OppenheimerBrief biography of Julius Robert Oppenheimer
Brief biography of Julius Robert Oppenheimer
 
IndiaWest: Your Trusted Source for Today's Global News
IndiaWest: Your Trusted Source for Today's Global NewsIndiaWest: Your Trusted Source for Today's Global News
IndiaWest: Your Trusted Source for Today's Global News
 
complaint-ECI-PM-media-1-Chandru.pdfra;;prfk
complaint-ECI-PM-media-1-Chandru.pdfra;;prfkcomplaint-ECI-PM-media-1-Chandru.pdfra;;prfk
complaint-ECI-PM-media-1-Chandru.pdfra;;prfk
 
Rohan Jaitley: Central Gov't Standing Counsel for Justice
Rohan Jaitley: Central Gov't Standing Counsel for JusticeRohan Jaitley: Central Gov't Standing Counsel for Justice
Rohan Jaitley: Central Gov't Standing Counsel for Justice
 
Top 10 Wealthiest People In The World.pdf
Top 10 Wealthiest People In The World.pdfTop 10 Wealthiest People In The World.pdf
Top 10 Wealthiest People In The World.pdf
 
VIP Girls Available Call or WhatsApp 9711199012
VIP Girls Available Call or WhatsApp 9711199012VIP Girls Available Call or WhatsApp 9711199012
VIP Girls Available Call or WhatsApp 9711199012
 

Logic

  • 2. Propositions • An assertion which is definitely either true or false is called a proposition, shown by the letters p, q, r, s, …. • Examples: • Dogs with six legs. • 2+3=5 • Come here. • Who is that? • The triangle is negative.
  • 3. Truth values of proposition • The truth and falsity of a proposition is called its truth value. The numbers 1 and 0 are used as the truth values of the true and false propositions respectively. p true 1 p false 0
  • 4. p q 1 1 1 1 q 0 1 0 p 1 0 1 0 q 0 0 0
  • 5. Equivalent propositions • Two propositions p and q have the same truth value they are said to be equivalent propositions, denoted as
  • 6. Negation of a proposition • The negation of a proposition p is denoted by p’ . The following table provides some information about negation. p p’ Some symbols negation 1 0 = ≠ 0 1 > ≤ ≥ <
  • 7. Compound Propositions • A proposition which is formed two or more propositions by using connective words is called a compound proposition. Connective Words: And Or Then If and only if
  • 8. Connective Symbol Name and ∧ conjunction or ∨ Disjunction If …. then …. => Implication (implies) If and only if  Equivalence
  • 9. Conjunction ∧ • A compound proposition of p and q formed using the connective word “and” is called conjunction of p and q, written as p∧q. • The conjunction of p and q is true if both p and q are true otherwise it is false. p q p∧q 1 1 1 1 0 0 0 1 0 0 0 0
  • 10. Disjunction ∨ • A compound proposition of p and q formed using the connective word “or” is called disjunction of p and q, written as p∨q. • The disjunction of p and q is false if both p and q are false otherwise it is true. p q p∨q 1 1 1 1 0 1 0 1 1 0 0 0
  • 11. Common properties of ∧ and ∨
  • 12. Common properties of ∧ and ∨
  • 13. Common properties of ∧ and ∨