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

KING VISHNU BHAGWANON KA BHAGWAN PARAMATMONKA PARATOMIC PARAMANU KASARVAMANVA...
KING VISHNU BHAGWANON KA BHAGWAN PARAMATMONKA PARATOMIC PARAMANU KASARVAMANVA...KING VISHNU BHAGWANON KA BHAGWAN PARAMATMONKA PARATOMIC PARAMANU KASARVAMANVA...
KING VISHNU BHAGWANON KA BHAGWAN PARAMATMONKA PARATOMIC PARAMANU KASARVAMANVA...IT Industry
 
Embed-2 (1).pdfb[k[k[[k[kkkpkdpokkdpkopko
Embed-2 (1).pdfb[k[k[[k[kkkpkdpokkdpkopkoEmbed-2 (1).pdfb[k[k[[k[kkkpkdpokkdpkopko
Embed-2 (1).pdfb[k[k[[k[kkkpkdpokkdpkopkobhavenpr
 
THE OBSTACLES THAT IMPEDE THE DEVELOPMENT OF BRAZIL IN THE CONTEMPORARY ERA A...
THE OBSTACLES THAT IMPEDE THE DEVELOPMENT OF BRAZIL IN THE CONTEMPORARY ERA A...THE OBSTACLES THAT IMPEDE THE DEVELOPMENT OF BRAZIL IN THE CONTEMPORARY ERA A...
THE OBSTACLES THAT IMPEDE THE DEVELOPMENT OF BRAZIL IN THE CONTEMPORARY ERA A...Faga1939
 
China's soft power in 21st century .pptx
China's soft power in 21st century   .pptxChina's soft power in 21st century   .pptx
China's soft power in 21st century .pptxYasinAhmad20
 
Gujarat-SEBCs.pdf pfpkoopapriorjfperjreie
Gujarat-SEBCs.pdf pfpkoopapriorjfperjreieGujarat-SEBCs.pdf pfpkoopapriorjfperjreie
Gujarat-SEBCs.pdf pfpkoopapriorjfperjreiebhavenpr
 
Job-Oriеntеd Courses That Will Boost Your Career in 2024
Job-Oriеntеd Courses That Will Boost Your Career in 2024Job-Oriеntеd Courses That Will Boost Your Career in 2024
Job-Oriеntеd Courses That Will Boost Your Career in 2024Insiger
 
04052024_First India Newspaper Jaipur.pdf
04052024_First India Newspaper Jaipur.pdf04052024_First India Newspaper Jaipur.pdf
04052024_First India Newspaper Jaipur.pdfFIRST INDIA
 
The political system of the united kingdom
The political system of the united kingdomThe political system of the united kingdom
The political system of the united kingdomlunadelior
 
Politician uddhav thackeray biography- Full Details
Politician uddhav thackeray biography- Full DetailsPolitician uddhav thackeray biography- Full Details
Politician uddhav thackeray biography- Full DetailsVoterMood
 
Embed-4.pdf lkdiinlajeklhndklheduhuekjdh
Embed-4.pdf lkdiinlajeklhndklheduhuekjdhEmbed-4.pdf lkdiinlajeklhndklheduhuekjdh
Embed-4.pdf lkdiinlajeklhndklheduhuekjdhbhavenpr
 
Group_5_US-China Trade War to understand the trade
Group_5_US-China Trade War to understand the tradeGroup_5_US-China Trade War to understand the trade
Group_5_US-China Trade War to understand the tradeRahatulAshafeen
 
06052024_First India Newspaper Jaipur.pdf
06052024_First India Newspaper Jaipur.pdf06052024_First India Newspaper Jaipur.pdf
06052024_First India Newspaper Jaipur.pdfFIRST INDIA
 
Transformative Leadership: N Chandrababu Naidu and TDP's Vision for Innovatio...
Transformative Leadership: N Chandrababu Naidu and TDP's Vision for Innovatio...Transformative Leadership: N Chandrababu Naidu and TDP's Vision for Innovatio...
Transformative Leadership: N Chandrababu Naidu and TDP's Vision for Innovatio...srinuseo15
 
declarationleaders_sd_re_greens_theleft_5.pdf
declarationleaders_sd_re_greens_theleft_5.pdfdeclarationleaders_sd_re_greens_theleft_5.pdf
declarationleaders_sd_re_greens_theleft_5.pdfssuser5750e1
 
05052024_First India Newspaper Jaipur.pdf
05052024_First India Newspaper Jaipur.pdf05052024_First India Newspaper Jaipur.pdf
05052024_First India Newspaper Jaipur.pdfFIRST INDIA
 
*Navigating Electoral Terrain: TDP's Performance under N Chandrababu Naidu's ...
*Navigating Electoral Terrain: TDP's Performance under N Chandrababu Naidu's ...*Navigating Electoral Terrain: TDP's Performance under N Chandrababu Naidu's ...
*Navigating Electoral Terrain: TDP's Performance under N Chandrababu Naidu's ...anjanibaddipudi1
 
{Qatar{^🚀^(+971558539980**}})Abortion Pills for Sale in Dubai. .abu dhabi, sh...
{Qatar{^🚀^(+971558539980**}})Abortion Pills for Sale in Dubai. .abu dhabi, sh...{Qatar{^🚀^(+971558539980**}})Abortion Pills for Sale in Dubai. .abu dhabi, sh...
{Qatar{^🚀^(+971558539980**}})Abortion Pills for Sale in Dubai. .abu dhabi, sh...hyt3577
 
America Is the Target; Israel Is the Front Line _ Andy Blumenthal _ The Blogs...
America Is the Target; Israel Is the Front Line _ Andy Blumenthal _ The Blogs...America Is the Target; Israel Is the Front Line _ Andy Blumenthal _ The Blogs...
America Is the Target; Israel Is the Front Line _ Andy Blumenthal _ The Blogs...Andy (Avraham) Blumenthal
 
422524114-Patriarchy-Kamla-Bhasin gg.pdf
422524114-Patriarchy-Kamla-Bhasin gg.pdf422524114-Patriarchy-Kamla-Bhasin gg.pdf
422524114-Patriarchy-Kamla-Bhasin gg.pdflambardar420420
 

Recently uploaded (20)

KING VISHNU BHAGWANON KA BHAGWAN PARAMATMONKA PARATOMIC PARAMANU KASARVAMANVA...
KING VISHNU BHAGWANON KA BHAGWAN PARAMATMONKA PARATOMIC PARAMANU KASARVAMANVA...KING VISHNU BHAGWANON KA BHAGWAN PARAMATMONKA PARATOMIC PARAMANU KASARVAMANVA...
KING VISHNU BHAGWANON KA BHAGWAN PARAMATMONKA PARATOMIC PARAMANU KASARVAMANVA...
 
Embed-2 (1).pdfb[k[k[[k[kkkpkdpokkdpkopko
Embed-2 (1).pdfb[k[k[[k[kkkpkdpokkdpkopkoEmbed-2 (1).pdfb[k[k[[k[kkkpkdpokkdpkopko
Embed-2 (1).pdfb[k[k[[k[kkkpkdpokkdpkopko
 
THE OBSTACLES THAT IMPEDE THE DEVELOPMENT OF BRAZIL IN THE CONTEMPORARY ERA A...
THE OBSTACLES THAT IMPEDE THE DEVELOPMENT OF BRAZIL IN THE CONTEMPORARY ERA A...THE OBSTACLES THAT IMPEDE THE DEVELOPMENT OF BRAZIL IN THE CONTEMPORARY ERA A...
THE OBSTACLES THAT IMPEDE THE DEVELOPMENT OF BRAZIL IN THE CONTEMPORARY ERA A...
 
China's soft power in 21st century .pptx
China's soft power in 21st century   .pptxChina's soft power in 21st century   .pptx
China's soft power in 21st century .pptx
 
Gujarat-SEBCs.pdf pfpkoopapriorjfperjreie
Gujarat-SEBCs.pdf pfpkoopapriorjfperjreieGujarat-SEBCs.pdf pfpkoopapriorjfperjreie
Gujarat-SEBCs.pdf pfpkoopapriorjfperjreie
 
Job-Oriеntеd Courses That Will Boost Your Career in 2024
Job-Oriеntеd Courses That Will Boost Your Career in 2024Job-Oriеntеd Courses That Will Boost Your Career in 2024
Job-Oriеntеd Courses That Will Boost Your Career in 2024
 
04052024_First India Newspaper Jaipur.pdf
04052024_First India Newspaper Jaipur.pdf04052024_First India Newspaper Jaipur.pdf
04052024_First India Newspaper Jaipur.pdf
 
The political system of the united kingdom
The political system of the united kingdomThe political system of the united kingdom
The political system of the united kingdom
 
Politician uddhav thackeray biography- Full Details
Politician uddhav thackeray biography- Full DetailsPolitician uddhav thackeray biography- Full Details
Politician uddhav thackeray biography- Full Details
 
Embed-4.pdf lkdiinlajeklhndklheduhuekjdh
Embed-4.pdf lkdiinlajeklhndklheduhuekjdhEmbed-4.pdf lkdiinlajeklhndklheduhuekjdh
Embed-4.pdf lkdiinlajeklhndklheduhuekjdh
 
Group_5_US-China Trade War to understand the trade
Group_5_US-China Trade War to understand the tradeGroup_5_US-China Trade War to understand the trade
Group_5_US-China Trade War to understand the trade
 
06052024_First India Newspaper Jaipur.pdf
06052024_First India Newspaper Jaipur.pdf06052024_First India Newspaper Jaipur.pdf
06052024_First India Newspaper Jaipur.pdf
 
Transformative Leadership: N Chandrababu Naidu and TDP's Vision for Innovatio...
Transformative Leadership: N Chandrababu Naidu and TDP's Vision for Innovatio...Transformative Leadership: N Chandrababu Naidu and TDP's Vision for Innovatio...
Transformative Leadership: N Chandrababu Naidu and TDP's Vision for Innovatio...
 
9953056974 Call Girls In Pratap Nagar, Escorts (Delhi) NCR
9953056974 Call Girls In Pratap Nagar, Escorts (Delhi) NCR9953056974 Call Girls In Pratap Nagar, Escorts (Delhi) NCR
9953056974 Call Girls In Pratap Nagar, Escorts (Delhi) NCR
 
declarationleaders_sd_re_greens_theleft_5.pdf
declarationleaders_sd_re_greens_theleft_5.pdfdeclarationleaders_sd_re_greens_theleft_5.pdf
declarationleaders_sd_re_greens_theleft_5.pdf
 
05052024_First India Newspaper Jaipur.pdf
05052024_First India Newspaper Jaipur.pdf05052024_First India Newspaper Jaipur.pdf
05052024_First India Newspaper Jaipur.pdf
 
*Navigating Electoral Terrain: TDP's Performance under N Chandrababu Naidu's ...
*Navigating Electoral Terrain: TDP's Performance under N Chandrababu Naidu's ...*Navigating Electoral Terrain: TDP's Performance under N Chandrababu Naidu's ...
*Navigating Electoral Terrain: TDP's Performance under N Chandrababu Naidu's ...
 
{Qatar{^🚀^(+971558539980**}})Abortion Pills for Sale in Dubai. .abu dhabi, sh...
{Qatar{^🚀^(+971558539980**}})Abortion Pills for Sale in Dubai. .abu dhabi, sh...{Qatar{^🚀^(+971558539980**}})Abortion Pills for Sale in Dubai. .abu dhabi, sh...
{Qatar{^🚀^(+971558539980**}})Abortion Pills for Sale in Dubai. .abu dhabi, sh...
 
America Is the Target; Israel Is the Front Line _ Andy Blumenthal _ The Blogs...
America Is the Target; Israel Is the Front Line _ Andy Blumenthal _ The Blogs...America Is the Target; Israel Is the Front Line _ Andy Blumenthal _ The Blogs...
America Is the Target; Israel Is the Front Line _ Andy Blumenthal _ The Blogs...
 
422524114-Patriarchy-Kamla-Bhasin gg.pdf
422524114-Patriarchy-Kamla-Bhasin gg.pdf422524114-Patriarchy-Kamla-Bhasin gg.pdf
422524114-Patriarchy-Kamla-Bhasin gg.pdf
 

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 ∨