SlideShare a Scribd company logo
1 of 25
PREPOSITIONal

   LOGIC
A statement is a declaratory sentence which is true or
false but not both. In other words , a statement is a
declarative sentence which has a definate truth table.
Logical connectives or sentence
connectives
    These are the words or symbols used to combine
 two sentence to form a compound statement.


        logic        Name           rank
           ~          Negation        1

           ^        Conjunction       2

           V         Disjunction      3

          =>         Conditional      4

                   Biconditional     5
A   B   ^   V   ~A   =>      NOR   NAND   XOR   EX-
                                                 NOR
T   T   T   T   F    T    T    F     F      F     T

T   F   F   T   F    F    F    F     T      T     F

F   T   F   T   T    T    F    F     T      T     F

F   F   F   F   T    T    T    T     T      F     T
TAUTOLOGY
i. A TAUTOLOGY IS A PREPOSITION WHICH IS
    TRUE FOR ALL TRUTH VALUES OF ITS SUB-
    PREPOSITIONS OR COMPONENTS.
ii. A TAUTOLOGY IS ALSO CALLED LOGICALLY
    VALID OR LOGICALLY TRUE.
iii. ALL ENTRIES IN THE COLUMN OF
    TAUTOLOGY ARE TRUE.
For example:
          p^q=>q


P   q     p^q     q    p^q=>
                         q
T   T      T      T      T
T   F      F      F      T
F   T      F      T      T
F   F      F      F      T
Contradiction
 CONTRADICTION IS A PREPOSITION WHICH IS
 ALWAYS FALSE FOR ALL TRUTH VALUES OF ITS
 SUB-PREPOSITIONS OR COMPONENTS.

 A CONTRADICTION IS ALSO CALLED LOGICALLY
 INVALID OR LOGICALLY FALSE

 ALL ENTRIES IN THE COLUMN OF
 CONTRADICTION ARE FALSE.
FOR EXAMPLE
        (P v Q)^(~P)^(~Q)

P   Q     PVQ   ~P   ~Q   (P v Q)^(~P)^(~Q)

T   T      T    F    F           F
T   F      T    F    T           F
F   T      T    T    F           F
F   F      F    T    T           F
Contingency
 It is a preposition which is either true or
false depending on the truth value of its
         components or preposition..
FOR EXAMPLE
      ~p ^ ~q

p   q    ~p   ~q   ~p ^ ~q
T   T    F    F       F
T   F    F    T       F
F   T    T    F       F
F   F    T    T       T
Logical equivalence
Two statements are called logically equivalent if the truth
values of both the statements are always identical..

 For example:
 If we take two statements p=>q and ~q =>~p , then there
truth table values must be equal to satisfy the condition of
logical equivalence..
p     q     ~p    ~q    p=>q   ~q=>~p
  T     T      F     F     T       T
  T     F      F     T     F       F
  F     T      T     F     T       T
  F     F      T     T     T       T




 SINCE,THE TRUTH TABLE VALUES OF BOTH
   STATEMENTS IS SAME. THUS, THE TWO
STATEMENTS ARE LOGICALLY EQUIVALENT..
LOGICAL IMPLICATIONS

 DIRECT IMPLICATION                (p=>q)
 CONVERSE IMPLICATION              (q=>p)
 INVERSE OR OPPOSITE IMPLICATION   (~p=>~q)
 CONTRAPOSITIVE IMPLICATION        (~q=>~p)
Algebra of
     preposition
1)   Commutative law
2)   Associative law
3)   Distributive law
4)   De Morgan’s law
5)   Idempotent law
6)   Identity law
Idempotent law
          1.       pVpp
          2.       p^pp




p   p      pvp       p v pp   p^p   p^ pp

T   T          T        T      T       T

F   F          F        F      F       F
Commutative law
               • pvq=qvp
               • p^q=q^p

p   q     pvq     qvp   p^q   q^p
T   T      T       T    T     T
T   F      T       T    F     F
F   T      T       T    F     F
F   F      F       F    F     F
Associative law
• (p v q) v r  p v (q v r)
• (p ^ q) ^ r  p ^ (q ^ r)

   p    q    r   pvq   ( p v q) v r   qVr   p v (q v r)
   T    T    T    T         T          T        T
   T    T    F    T         T          T        T
   T    F    T    T         T          T        T
   T    F    F    T         T          F        T
   F    T    T    T         T          T        T
   F    T    F    T         T          T        T
   F    F    T    F         T          T        T
   F    F    F    F         F          F        F
Distributive law
• p ^ (q v r)  (p ^ q) v (p ^ r)
• p ^ (q v r)  (p ^ q) v (p ^ r)
 p    q     r   qvr   p^(q v r)   p^q   p^r (p^q)v(p^r)
  T   T     T    T       T          T   T        T
  T   T     F    T       T          T   F        T
  T   F     T    T       T          F   T        T
  T   F     F    F       F          F   F        F
  F   T     T    T       F          F   F        F
  F   T     F    T       F          F   F        F
  F   F     T    T       F          F   F        F
  F   F     F    F       F          F   F        F
De Morgan’s law
• ~(p v q)  ~p ^ ~q
• ~(p ^ q)  ~p v ~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
Identity law
1) p ^ T  p       2) T ^ p  p
3) p v F  p       4) F v p  p

P     T    P^T        P     F     P v F
T     T        T      T     F       T

F     T        F      F     F       F
TRANSITIVE RULE

            pq
            qr
      --------------
            pr

Rule of detachment
           P
            Pq
       ----------
           q
EXAMPLE
   TEST THE VALIDITY OF THE FOLLOWING
   ARGUMENT….
     IF A MAN IS A BACHELOR,HE IS WORRIED(A PREMISE)
       IF A MAN IS WORRIED,HE DIES YOUNG(A PREMISE)
-----------------------------------------------------------------------------------------------------
                      BACHELORS DIE YOUNG(CONCLUSION)

                                      P: A man is a bachelor
                                      Q:he is worried
                                      R: he dies young
The given argument in symbolic form can be
written as:
             pq   (a premise)
             qr   (a premise)
          --------------------
            pr      (conclusion)

        The given argument is true by law of
syllogism(law of transitive)…
p   q   r   pq   qr   pr   pq ^ qr   (pq) ^ (qr)
                                             => pr

T   T   T   T     T     T        T              T

T   T   F   T     F     F        F              T

T   F   T   F     T     T        F              T

T   F   F   F     T     F        F              T

F   T   T   T     T     T        T              T

F   T   F   T     F     T        F              T

F   F   T   T     T     T        T              T

F   F   F   T     T     T        T              T
PRESENTATION BY :
  ASHWINI VIPAT

More Related Content

What's hot

Discrete Mathematics - Propositional Logic
Discrete Mathematics - Propositional LogicDiscrete Mathematics - Propositional Logic
Discrete Mathematics - Propositional LogicUniversity of Potsdam
 
Chapter 2: Relations
Chapter 2: RelationsChapter 2: Relations
Chapter 2: Relationsnszakir
 
Discrete Math Lecture 01: Propositional Logic
Discrete Math Lecture 01: Propositional LogicDiscrete Math Lecture 01: Propositional Logic
Discrete Math Lecture 01: Propositional LogicIT Engineering Department
 
Truth tables
Truth tablesTruth tables
Truth tableswalkerlj
 
Logic (PROPOSITIONS)
Logic (PROPOSITIONS)Logic (PROPOSITIONS)
Logic (PROPOSITIONS)D Nayanathara
 
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
 
Discrete Math Chapter 1 :The Foundations: Logic and Proofs
Discrete Math Chapter 1 :The Foundations: Logic and ProofsDiscrete Math Chapter 1 :The Foundations: Logic and Proofs
Discrete Math Chapter 1 :The Foundations: Logic and ProofsAmr Rashed
 
CMSC 56 | Lecture 3: Predicates & Quantifiers
CMSC 56 | Lecture 3: Predicates & QuantifiersCMSC 56 | Lecture 3: Predicates & Quantifiers
CMSC 56 | Lecture 3: Predicates & Quantifiersallyn joy calcaben
 
Mathematical Logic - Part 1
Mathematical Logic - Part 1Mathematical Logic - Part 1
Mathematical Logic - Part 1blaircomp2003
 
Predicate Logic
Predicate LogicPredicate Logic
Predicate Logicgiki67
 
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
 
Unit 1 rules of inference
Unit 1  rules of inferenceUnit 1  rules of inference
Unit 1 rules of inferenceraksharao
 
Propositional logic by shawan
Propositional logic by shawanPropositional logic by shawan
Propositional logic by shawanTouhidul Shawan
 
Discrete Mathematics Lecture
Discrete Mathematics LectureDiscrete Mathematics Lecture
Discrete Mathematics LectureGenie Rose Santos
 
Logical Operators in Brief with examples
Logical Operators in Brief with examplesLogical Operators in Brief with examples
Logical Operators in Brief with examplesMujtaBa Khan
 
Chapter 1 Logic of Compound Statements
Chapter 1 Logic of Compound StatementsChapter 1 Logic of Compound Statements
Chapter 1 Logic of Compound Statementsguestd166eb5
 

What's hot (20)

Discrete Mathematics - Propositional Logic
Discrete Mathematics - Propositional LogicDiscrete Mathematics - Propositional Logic
Discrete Mathematics - Propositional Logic
 
Truth table
Truth tableTruth table
Truth table
 
Chapter 2: Relations
Chapter 2: RelationsChapter 2: Relations
Chapter 2: Relations
 
Discrete Math Lecture 01: Propositional Logic
Discrete Math Lecture 01: Propositional LogicDiscrete Math Lecture 01: Propositional Logic
Discrete Math Lecture 01: Propositional Logic
 
Truth tables
Truth tablesTruth tables
Truth tables
 
Discrete math Truth Table
Discrete math Truth TableDiscrete math Truth Table
Discrete math Truth Table
 
Logic (PROPOSITIONS)
Logic (PROPOSITIONS)Logic (PROPOSITIONS)
Logic (PROPOSITIONS)
 
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 د. خالد بكرو
 
Mathematical Logic
Mathematical LogicMathematical Logic
Mathematical Logic
 
Discrete Math Chapter 1 :The Foundations: Logic and Proofs
Discrete Math Chapter 1 :The Foundations: Logic and ProofsDiscrete Math Chapter 1 :The Foundations: Logic and Proofs
Discrete Math Chapter 1 :The Foundations: Logic and Proofs
 
CMSC 56 | Lecture 3: Predicates & Quantifiers
CMSC 56 | Lecture 3: Predicates & QuantifiersCMSC 56 | Lecture 3: Predicates & Quantifiers
CMSC 56 | Lecture 3: Predicates & Quantifiers
 
Mathematical Logic - Part 1
Mathematical Logic - Part 1Mathematical Logic - Part 1
Mathematical Logic - Part 1
 
Predicate Logic
Predicate LogicPredicate Logic
Predicate Logic
 
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
 
Formal Logic - Lesson 5 - Logical Equivalence
Formal Logic - Lesson 5 - Logical EquivalenceFormal Logic - Lesson 5 - Logical Equivalence
Formal Logic - Lesson 5 - Logical Equivalence
 
Unit 1 rules of inference
Unit 1  rules of inferenceUnit 1  rules of inference
Unit 1 rules of inference
 
Propositional logic by shawan
Propositional logic by shawanPropositional logic by shawan
Propositional logic by shawan
 
Discrete Mathematics Lecture
Discrete Mathematics LectureDiscrete Mathematics Lecture
Discrete Mathematics Lecture
 
Logical Operators in Brief with examples
Logical Operators in Brief with examplesLogical Operators in Brief with examples
Logical Operators in Brief with examples
 
Chapter 1 Logic of Compound Statements
Chapter 1 Logic of Compound StatementsChapter 1 Logic of Compound Statements
Chapter 1 Logic of Compound Statements
 

Viewers also liked

Propositional logic & inference
Propositional logic & inferencePropositional logic & inference
Propositional logic & inferenceSlideshare
 
Syntax and semantics of propositional logic
Syntax and semantics of propositional logicSyntax and semantics of propositional logic
Syntax and semantics of propositional logicJanet Stemwedel
 
Propositional And First-Order Logic
Propositional And First-Order LogicPropositional And First-Order Logic
Propositional And First-Order Logicankush_kumar
 
MDD and the Tautology Problem: Discussion Notes.
MDD and the Tautology Problem: Discussion Notes.MDD and the Tautology Problem: Discussion Notes.
MDD and the Tautology Problem: Discussion Notes.Bob Binder
 
Propositions - Discrete Structures
Propositions - Discrete Structures Propositions - Discrete Structures
Propositions - Discrete Structures Drishti Bhalla
 
Want to know about java
Want to know about javaWant to know about java
Want to know about javaadityamadgula
 
Logic (slides)
Logic (slides)Logic (slides)
Logic (slides)IIUM
 
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 methodNat Karablina
 
Lec 02 logical eq (Discrete Mathematics)
Lec 02   logical eq (Discrete Mathematics)Lec 02   logical eq (Discrete Mathematics)
Lec 02 logical eq (Discrete Mathematics)Naosher Md. Zakariyar
 
Discrete Structures lecture 2
 Discrete Structures lecture 2 Discrete Structures lecture 2
Discrete Structures lecture 2Ali Usman
 
Introduction to parliamentary debate
Introduction to parliamentary debateIntroduction to parliamentary debate
Introduction to parliamentary debateAbhinandan Ray
 

Viewers also liked (15)

Logic
LogicLogic
Logic
 
Propositional logic & inference
Propositional logic & inferencePropositional logic & inference
Propositional logic & inference
 
Syntax and semantics of propositional logic
Syntax and semantics of propositional logicSyntax and semantics of propositional logic
Syntax and semantics of propositional logic
 
Propositional And First-Order Logic
Propositional And First-Order LogicPropositional And First-Order Logic
Propositional And First-Order Logic
 
MDD and the Tautology Problem: Discussion Notes.
MDD and the Tautology Problem: Discussion Notes.MDD and the Tautology Problem: Discussion Notes.
MDD and the Tautology Problem: Discussion Notes.
 
Propositions - Discrete Structures
Propositions - Discrete Structures Propositions - Discrete Structures
Propositions - Discrete Structures
 
Want to know about java
Want to know about javaWant to know about java
Want to know about java
 
Propositional logic
Propositional logicPropositional logic
Propositional logic
 
Logic (slides)
Logic (slides)Logic (slides)
Logic (slides)
 
The logic
The logicThe logic
The 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
 
Lec 02 logical eq (Discrete Mathematics)
Lec 02   logical eq (Discrete Mathematics)Lec 02   logical eq (Discrete Mathematics)
Lec 02 logical eq (Discrete Mathematics)
 
Propositional logic
Propositional logicPropositional logic
Propositional logic
 
Discrete Structures lecture 2
 Discrete Structures lecture 2 Discrete Structures lecture 2
Discrete Structures lecture 2
 
Introduction to parliamentary debate
Introduction to parliamentary debateIntroduction to parliamentary debate
Introduction to parliamentary debate
 

Similar to Propositional logic

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
 
Mathematical foundations of computer science
Mathematical foundations of computer scienceMathematical foundations of computer science
Mathematical foundations of computer scienceBindhuBhargaviTalasi
 
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
 
Assignement of discrete mathematics
Assignement of discrete mathematicsAssignement of discrete mathematics
Assignement of discrete mathematicsSyed Umair
 
Assignement of discrete mathematics
Assignement of discrete mathematicsAssignement of discrete mathematics
Assignement of discrete mathematicsSyed Umair
 
Maths teachers guide For freshman course.pdf
Maths teachers guide For freshman course.pdfMaths teachers guide For freshman course.pdf
Maths teachers guide For freshman course.pdfhabtamu292245
 
Logic and proof
Logic and proofLogic and proof
Logic and proofSuresh Ram
 
Truth table a.r
Truth table a.rTruth table a.r
Truth table a.rSyed Umair
 
Exercise 1
Exercise 1Exercise 1
Exercise 1Amr Nady
 
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
 

Similar to Propositional logic (20)

null-12.pdf
null-12.pdfnull-12.pdf
null-12.pdf
 
null-12.pdf
null-12.pdfnull-12.pdf
null-12.pdf
 
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
 
Nature of Logic.pptx
Nature of Logic.pptxNature of Logic.pptx
Nature of Logic.pptx
 
Truth table analysis
Truth table analysisTruth table analysis
Truth table analysis
 
Mathematical foundations of computer science
Mathematical foundations of computer scienceMathematical foundations of computer science
Mathematical foundations of computer science
 
CMSC 56 | Lecture 2: Propositional Equivalences
CMSC 56 | Lecture 2: Propositional EquivalencesCMSC 56 | Lecture 2: Propositional Equivalences
CMSC 56 | Lecture 2: Propositional Equivalences
 
Assignement of discrete mathematics
Assignement of discrete mathematicsAssignement of discrete mathematics
Assignement of discrete mathematics
 
Assignement of discrete mathematics
Assignement of discrete mathematicsAssignement of discrete mathematics
Assignement of discrete mathematics
 
LOGIC
LOGICLOGIC
LOGIC
 
Maths teachers guide For freshman course.pdf
Maths teachers guide For freshman course.pdfMaths teachers guide For freshman course.pdf
Maths teachers guide For freshman course.pdf
 
Logic and proof
Logic and proofLogic and proof
Logic and proof
 
Truth table a.r
Truth table a.rTruth table a.r
Truth table a.r
 
Bab 1 proposisi
Bab 1 proposisiBab 1 proposisi
Bab 1 proposisi
 
Exercise 1
Exercise 1Exercise 1
Exercise 1
 
CS202Ch1.ppt
CS202Ch1.pptCS202Ch1.ppt
CS202Ch1.ppt
 
Formal Logic - Lesson 6 - Switching Circuits
Formal Logic - Lesson 6 - Switching CircuitsFormal Logic - Lesson 6 - Switching Circuits
Formal Logic - Lesson 6 - Switching Circuits
 
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
 
Formal Logic - Lesson 3 - Truth Tables
Formal Logic - Lesson 3 - Truth TablesFormal Logic - Lesson 3 - Truth Tables
Formal Logic - Lesson 3 - Truth Tables
 
Laws in disceret
Laws in disceretLaws in disceret
Laws in disceret
 

More from ForwardBlog Enewzletter (10)

Sorting searching
Sorting searchingSorting searching
Sorting searching
 
Pn junction
Pn junctionPn junction
Pn junction
 
Feedback amplifiers
Feedback amplifiersFeedback amplifiers
Feedback amplifiers
 
Oscillators
OscillatorsOscillators
Oscillators
 
Compile time polymorphism
Compile time polymorphismCompile time polymorphism
Compile time polymorphism
 
Constructors & destructors
Constructors & destructorsConstructors & destructors
Constructors & destructors
 
Oo ps
Oo psOo ps
Oo ps
 
Parameter passing to_functions_in_c
Parameter passing to_functions_in_cParameter passing to_functions_in_c
Parameter passing to_functions_in_c
 
Stack a Data Structure
Stack a Data StructureStack a Data Structure
Stack a Data Structure
 
Presentation on graphs
Presentation on graphsPresentation on graphs
Presentation on graphs
 

Recently uploaded

Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...
Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...
Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...Krashi Coaching
 
Contemporary philippine arts from the regions_PPT_Module_12 [Autosaved] (1).pptx
Contemporary philippine arts from the regions_PPT_Module_12 [Autosaved] (1).pptxContemporary philippine arts from the regions_PPT_Module_12 [Autosaved] (1).pptx
Contemporary philippine arts from the regions_PPT_Module_12 [Autosaved] (1).pptxRoyAbrique
 
Presentation by Andreas Schleicher Tackling the School Absenteeism Crisis 30 ...
Presentation by Andreas Schleicher Tackling the School Absenteeism Crisis 30 ...Presentation by Andreas Schleicher Tackling the School Absenteeism Crisis 30 ...
Presentation by Andreas Schleicher Tackling the School Absenteeism Crisis 30 ...EduSkills OECD
 
Hybridoma Technology ( Production , Purification , and Application )
Hybridoma Technology  ( Production , Purification , and Application  ) Hybridoma Technology  ( Production , Purification , and Application  )
Hybridoma Technology ( Production , Purification , and Application ) Sakshi Ghasle
 
Science 7 - LAND and SEA BREEZE and its Characteristics
Science 7 - LAND and SEA BREEZE and its CharacteristicsScience 7 - LAND and SEA BREEZE and its Characteristics
Science 7 - LAND and SEA BREEZE and its CharacteristicsKarinaGenton
 
How to Make a Pirate ship Primary Education.pptx
How to Make a Pirate ship Primary Education.pptxHow to Make a Pirate ship Primary Education.pptx
How to Make a Pirate ship Primary Education.pptxmanuelaromero2013
 
18-04-UA_REPORT_MEDIALITERAСY_INDEX-DM_23-1-final-eng.pdf
18-04-UA_REPORT_MEDIALITERAСY_INDEX-DM_23-1-final-eng.pdf18-04-UA_REPORT_MEDIALITERAСY_INDEX-DM_23-1-final-eng.pdf
18-04-UA_REPORT_MEDIALITERAСY_INDEX-DM_23-1-final-eng.pdfssuser54595a
 
Crayon Activity Handout For the Crayon A
Crayon Activity Handout For the Crayon ACrayon Activity Handout For the Crayon A
Crayon Activity Handout For the Crayon AUnboundStockton
 
Separation of Lanthanides/ Lanthanides and Actinides
Separation of Lanthanides/ Lanthanides and ActinidesSeparation of Lanthanides/ Lanthanides and Actinides
Separation of Lanthanides/ Lanthanides and ActinidesFatimaKhan178732
 
How to Configure Email Server in Odoo 17
How to Configure Email Server in Odoo 17How to Configure Email Server in Odoo 17
How to Configure Email Server in Odoo 17Celine George
 
POINT- BIOCHEMISTRY SEM 2 ENZYMES UNIT 5.pptx
POINT- BIOCHEMISTRY SEM 2 ENZYMES UNIT 5.pptxPOINT- BIOCHEMISTRY SEM 2 ENZYMES UNIT 5.pptx
POINT- BIOCHEMISTRY SEM 2 ENZYMES UNIT 5.pptxSayali Powar
 
ECONOMIC CONTEXT - LONG FORM TV DRAMA - PPT
ECONOMIC CONTEXT - LONG FORM TV DRAMA - PPTECONOMIC CONTEXT - LONG FORM TV DRAMA - PPT
ECONOMIC CONTEXT - LONG FORM TV DRAMA - PPTiammrhaywood
 
Class 11 Legal Studies Ch-1 Concept of State .pdf
Class 11 Legal Studies Ch-1 Concept of State .pdfClass 11 Legal Studies Ch-1 Concept of State .pdf
Class 11 Legal Studies Ch-1 Concept of State .pdfakmcokerachita
 
BASLIQ CURRENT LOOKBOOK LOOKBOOK(1) (1).pdf
BASLIQ CURRENT LOOKBOOK  LOOKBOOK(1) (1).pdfBASLIQ CURRENT LOOKBOOK  LOOKBOOK(1) (1).pdf
BASLIQ CURRENT LOOKBOOK LOOKBOOK(1) (1).pdfSoniaTolstoy
 
Incoming and Outgoing Shipments in 1 STEP Using Odoo 17
Incoming and Outgoing Shipments in 1 STEP Using Odoo 17Incoming and Outgoing Shipments in 1 STEP Using Odoo 17
Incoming and Outgoing Shipments in 1 STEP Using Odoo 17Celine George
 
Introduction to ArtificiaI Intelligence in Higher Education
Introduction to ArtificiaI Intelligence in Higher EducationIntroduction to ArtificiaI Intelligence in Higher Education
Introduction to ArtificiaI Intelligence in Higher Educationpboyjonauth
 
Call Girls in Dwarka Mor Delhi Contact Us 9654467111
Call Girls in Dwarka Mor Delhi Contact Us 9654467111Call Girls in Dwarka Mor Delhi Contact Us 9654467111
Call Girls in Dwarka Mor Delhi Contact Us 9654467111Sapana Sha
 
Solving Puzzles Benefits Everyone (English).pptx
Solving Puzzles Benefits Everyone (English).pptxSolving Puzzles Benefits Everyone (English).pptx
Solving Puzzles Benefits Everyone (English).pptxOH TEIK BIN
 
call girls in Kamla Market (DELHI) 🔝 >༒9953330565🔝 genuine Escort Service 🔝✔️✔️
call girls in Kamla Market (DELHI) 🔝 >༒9953330565🔝 genuine Escort Service 🔝✔️✔️call girls in Kamla Market (DELHI) 🔝 >༒9953330565🔝 genuine Escort Service 🔝✔️✔️
call girls in Kamla Market (DELHI) 🔝 >༒9953330565🔝 genuine Escort Service 🔝✔️✔️9953056974 Low Rate Call Girls In Saket, Delhi NCR
 

Recently uploaded (20)

Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...
Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...
Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...
 
Contemporary philippine arts from the regions_PPT_Module_12 [Autosaved] (1).pptx
Contemporary philippine arts from the regions_PPT_Module_12 [Autosaved] (1).pptxContemporary philippine arts from the regions_PPT_Module_12 [Autosaved] (1).pptx
Contemporary philippine arts from the regions_PPT_Module_12 [Autosaved] (1).pptx
 
Presentation by Andreas Schleicher Tackling the School Absenteeism Crisis 30 ...
Presentation by Andreas Schleicher Tackling the School Absenteeism Crisis 30 ...Presentation by Andreas Schleicher Tackling the School Absenteeism Crisis 30 ...
Presentation by Andreas Schleicher Tackling the School Absenteeism Crisis 30 ...
 
Hybridoma Technology ( Production , Purification , and Application )
Hybridoma Technology  ( Production , Purification , and Application  ) Hybridoma Technology  ( Production , Purification , and Application  )
Hybridoma Technology ( Production , Purification , and Application )
 
Science 7 - LAND and SEA BREEZE and its Characteristics
Science 7 - LAND and SEA BREEZE and its CharacteristicsScience 7 - LAND and SEA BREEZE and its Characteristics
Science 7 - LAND and SEA BREEZE and its Characteristics
 
How to Make a Pirate ship Primary Education.pptx
How to Make a Pirate ship Primary Education.pptxHow to Make a Pirate ship Primary Education.pptx
How to Make a Pirate ship Primary Education.pptx
 
18-04-UA_REPORT_MEDIALITERAСY_INDEX-DM_23-1-final-eng.pdf
18-04-UA_REPORT_MEDIALITERAСY_INDEX-DM_23-1-final-eng.pdf18-04-UA_REPORT_MEDIALITERAСY_INDEX-DM_23-1-final-eng.pdf
18-04-UA_REPORT_MEDIALITERAСY_INDEX-DM_23-1-final-eng.pdf
 
Crayon Activity Handout For the Crayon A
Crayon Activity Handout For the Crayon ACrayon Activity Handout For the Crayon A
Crayon Activity Handout For the Crayon A
 
Separation of Lanthanides/ Lanthanides and Actinides
Separation of Lanthanides/ Lanthanides and ActinidesSeparation of Lanthanides/ Lanthanides and Actinides
Separation of Lanthanides/ Lanthanides and Actinides
 
How to Configure Email Server in Odoo 17
How to Configure Email Server in Odoo 17How to Configure Email Server in Odoo 17
How to Configure Email Server in Odoo 17
 
POINT- BIOCHEMISTRY SEM 2 ENZYMES UNIT 5.pptx
POINT- BIOCHEMISTRY SEM 2 ENZYMES UNIT 5.pptxPOINT- BIOCHEMISTRY SEM 2 ENZYMES UNIT 5.pptx
POINT- BIOCHEMISTRY SEM 2 ENZYMES UNIT 5.pptx
 
ECONOMIC CONTEXT - LONG FORM TV DRAMA - PPT
ECONOMIC CONTEXT - LONG FORM TV DRAMA - PPTECONOMIC CONTEXT - LONG FORM TV DRAMA - PPT
ECONOMIC CONTEXT - LONG FORM TV DRAMA - PPT
 
Class 11 Legal Studies Ch-1 Concept of State .pdf
Class 11 Legal Studies Ch-1 Concept of State .pdfClass 11 Legal Studies Ch-1 Concept of State .pdf
Class 11 Legal Studies Ch-1 Concept of State .pdf
 
BASLIQ CURRENT LOOKBOOK LOOKBOOK(1) (1).pdf
BASLIQ CURRENT LOOKBOOK  LOOKBOOK(1) (1).pdfBASLIQ CURRENT LOOKBOOK  LOOKBOOK(1) (1).pdf
BASLIQ CURRENT LOOKBOOK LOOKBOOK(1) (1).pdf
 
Incoming and Outgoing Shipments in 1 STEP Using Odoo 17
Incoming and Outgoing Shipments in 1 STEP Using Odoo 17Incoming and Outgoing Shipments in 1 STEP Using Odoo 17
Incoming and Outgoing Shipments in 1 STEP Using Odoo 17
 
Introduction to ArtificiaI Intelligence in Higher Education
Introduction to ArtificiaI Intelligence in Higher EducationIntroduction to ArtificiaI Intelligence in Higher Education
Introduction to ArtificiaI Intelligence in Higher Education
 
Call Girls in Dwarka Mor Delhi Contact Us 9654467111
Call Girls in Dwarka Mor Delhi Contact Us 9654467111Call Girls in Dwarka Mor Delhi Contact Us 9654467111
Call Girls in Dwarka Mor Delhi Contact Us 9654467111
 
Código Creativo y Arte de Software | Unidad 1
Código Creativo y Arte de Software | Unidad 1Código Creativo y Arte de Software | Unidad 1
Código Creativo y Arte de Software | Unidad 1
 
Solving Puzzles Benefits Everyone (English).pptx
Solving Puzzles Benefits Everyone (English).pptxSolving Puzzles Benefits Everyone (English).pptx
Solving Puzzles Benefits Everyone (English).pptx
 
call girls in Kamla Market (DELHI) 🔝 >༒9953330565🔝 genuine Escort Service 🔝✔️✔️
call girls in Kamla Market (DELHI) 🔝 >༒9953330565🔝 genuine Escort Service 🔝✔️✔️call girls in Kamla Market (DELHI) 🔝 >༒9953330565🔝 genuine Escort Service 🔝✔️✔️
call girls in Kamla Market (DELHI) 🔝 >༒9953330565🔝 genuine Escort Service 🔝✔️✔️
 

Propositional logic

  • 2. A statement is a declaratory sentence which is true or false but not both. In other words , a statement is a declarative sentence which has a definate truth table.
  • 3. Logical connectives or sentence connectives These are the words or symbols used to combine two sentence to form a compound statement. logic Name rank ~ Negation 1 ^ Conjunction 2 V Disjunction 3 => Conditional 4  Biconditional 5
  • 4. A B ^ V ~A =>  NOR NAND XOR EX- NOR T T T T F T T F F F T T F F T F F F F T T F F T F T T T F F T T F F F F F T T T T T F T
  • 5. TAUTOLOGY i. A TAUTOLOGY IS A PREPOSITION WHICH IS TRUE FOR ALL TRUTH VALUES OF ITS SUB- PREPOSITIONS OR COMPONENTS. ii. A TAUTOLOGY IS ALSO CALLED LOGICALLY VALID OR LOGICALLY TRUE. iii. ALL ENTRIES IN THE COLUMN OF TAUTOLOGY ARE TRUE.
  • 6. For example: p^q=>q P q p^q q p^q=> q T T T T T T F F F T F T F T T F F F F T
  • 7. Contradiction  CONTRADICTION IS A PREPOSITION WHICH IS ALWAYS FALSE FOR ALL TRUTH VALUES OF ITS SUB-PREPOSITIONS OR COMPONENTS.  A CONTRADICTION IS ALSO CALLED LOGICALLY INVALID OR LOGICALLY FALSE  ALL ENTRIES IN THE COLUMN OF CONTRADICTION ARE FALSE.
  • 8. FOR EXAMPLE (P v Q)^(~P)^(~Q) P Q PVQ ~P ~Q (P v Q)^(~P)^(~Q) T T T F F F T F T F T F F T T T F F F F F T T F
  • 9. Contingency It is a preposition which is either true or false depending on the truth value of its components or preposition..
  • 10. FOR EXAMPLE ~p ^ ~q p q ~p ~q ~p ^ ~q T T F F F T F F T F F T T F F F F T T T
  • 11. Logical equivalence Two statements are called logically equivalent if the truth values of both the statements are always identical.. For example: If we take two statements p=>q and ~q =>~p , then there truth table values must be equal to satisfy the condition of logical equivalence..
  • 12. p q ~p ~q p=>q ~q=>~p T T F F T T T F F T F F F T T F T T F F T T T T SINCE,THE TRUTH TABLE VALUES OF BOTH STATEMENTS IS SAME. THUS, THE TWO STATEMENTS ARE LOGICALLY EQUIVALENT..
  • 13. LOGICAL IMPLICATIONS  DIRECT IMPLICATION (p=>q)  CONVERSE IMPLICATION (q=>p)  INVERSE OR OPPOSITE IMPLICATION (~p=>~q)  CONTRAPOSITIVE IMPLICATION (~q=>~p)
  • 14. Algebra of preposition 1) Commutative law 2) Associative law 3) Distributive law 4) De Morgan’s law 5) Idempotent law 6) Identity law
  • 15. Idempotent law 1. pVpp 2. p^pp p p pvp p v pp p^p p^ pp T T T T T T F F F F F F
  • 16. Commutative law • pvq=qvp • p^q=q^p p q pvq qvp p^q q^p T T T T T T T F T T F F F T T T F F F F F F F F
  • 17. Associative law • (p v q) v r  p v (q v r) • (p ^ q) ^ r  p ^ (q ^ r) p q r pvq ( p v q) v r qVr p v (q v r) T T T T T T T T T F T T T T T F T T T T T T F F T T F T F T T T T T T F T F T T T T F F T F T T T F F F F F F F
  • 18. Distributive law • p ^ (q v r)  (p ^ q) v (p ^ r) • p ^ (q v r)  (p ^ q) v (p ^ r) p q r qvr p^(q v r) p^q p^r (p^q)v(p^r) T T T T T T T T T T F T T T F T T F T T T F T T T F F F F F F F F T T T F F F F F T F T F F F F F F T T F F F F F F F F F F F F
  • 19. De Morgan’s law • ~(p v q)  ~p ^ ~q • ~(p ^ q)  ~p v ~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
  • 20. Identity law 1) p ^ T  p 2) T ^ p  p 3) p v F  p 4) F v p  p P T P^T P F P v F T T T T F T F T F F F F
  • 21. TRANSITIVE RULE pq qr -------------- pr Rule of detachment P Pq ---------- q
  • 22. EXAMPLE TEST THE VALIDITY OF THE FOLLOWING ARGUMENT…. IF A MAN IS A BACHELOR,HE IS WORRIED(A PREMISE) IF A MAN IS WORRIED,HE DIES YOUNG(A PREMISE) ----------------------------------------------------------------------------------------------------- BACHELORS DIE YOUNG(CONCLUSION) P: A man is a bachelor Q:he is worried R: he dies young
  • 23. The given argument in symbolic form can be written as: pq (a premise) qr (a premise) -------------------- pr (conclusion) The given argument is true by law of syllogism(law of transitive)…
  • 24. p q r pq qr pr pq ^ qr (pq) ^ (qr) => pr T T T T T T T T T T F T F F F T T F T F T T F T T F F F T F F T F T T T T T T T F T F T F T F T F F T T T T T T F F F T T T T T
  • 25. PRESENTATION BY : ASHWINI VIPAT