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

Intro to Discrete Mathematics
Intro to Discrete MathematicsIntro to Discrete Mathematics
Intro to Discrete Mathematicsasad faraz
 
Lecture 2 predicates quantifiers and rules of inference
Lecture 2 predicates quantifiers and rules of inferenceLecture 2 predicates quantifiers and rules of inference
Lecture 2 predicates quantifiers and rules of inferenceasimnawaz54
 
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
 
Predicates and Quantifiers
Predicates and QuantifiersPredicates and Quantifiers
Predicates and Quantifiersblaircomp2003
 
Translating English to Propositional Logic
Translating English to Propositional LogicTranslating English to Propositional Logic
Translating English to Propositional LogicJanet Stemwedel
 
CMSC 56 | Lecture 5: Proofs Methods and Strategy
CMSC 56 | Lecture 5: Proofs Methods and StrategyCMSC 56 | Lecture 5: Proofs Methods and Strategy
CMSC 56 | Lecture 5: Proofs Methods and Strategyallyn joy calcaben
 
CMSC 56 | Lecture 8: Growth of Functions
CMSC 56 | Lecture 8: Growth of FunctionsCMSC 56 | Lecture 8: Growth of Functions
CMSC 56 | Lecture 8: Growth of Functionsallyn joy calcaben
 
Knowledge representation and Predicate logic
Knowledge representation and Predicate logicKnowledge representation and Predicate logic
Knowledge representation and Predicate logicAmey Kerkar
 
Discrete Structures lecture 2
 Discrete Structures lecture 2 Discrete Structures lecture 2
Discrete Structures lecture 2Ali Usman
 
Proofs by contraposition
Proofs by contrapositionProofs by contraposition
Proofs by contrapositionAbdur Rehman
 
CMSC 56 | Lecture 4: Rules of Inference
CMSC 56 | Lecture 4: Rules of InferenceCMSC 56 | Lecture 4: Rules of Inference
CMSC 56 | Lecture 4: Rules of Inferenceallyn joy calcaben
 
Propositional Logic (Descreate Mathematics)
Propositional Logic (Descreate Mathematics)Propositional Logic (Descreate Mathematics)
Propositional Logic (Descreate Mathematics)Abdullah Al Amin
 
5.2 Strong Induction
5.2 Strong Induction5.2 Strong Induction
5.2 Strong Inductionshowslidedump
 
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
 
Discrete Mathematics - Propositional Logic
Discrete Mathematics - Propositional LogicDiscrete Mathematics - Propositional Logic
Discrete Mathematics - Propositional LogicUniversity of Potsdam
 

What's hot (20)

Intro to Discrete Mathematics
Intro to Discrete MathematicsIntro to Discrete Mathematics
Intro to Discrete Mathematics
 
Lecture 2 predicates quantifiers and rules of inference
Lecture 2 predicates quantifiers and rules of inferenceLecture 2 predicates quantifiers and rules of inference
Lecture 2 predicates quantifiers and rules of inference
 
CMSC 56 | Lecture 3: Predicates & Quantifiers
CMSC 56 | Lecture 3: Predicates & QuantifiersCMSC 56 | Lecture 3: Predicates & Quantifiers
CMSC 56 | Lecture 3: Predicates & Quantifiers
 
Predicates and Quantifiers
Predicates and QuantifiersPredicates and Quantifiers
Predicates and Quantifiers
 
Translating English to Propositional Logic
Translating English to Propositional LogicTranslating English to Propositional Logic
Translating English to Propositional Logic
 
Truth table
Truth tableTruth table
Truth table
 
CMSC 56 | Lecture 5: Proofs Methods and Strategy
CMSC 56 | Lecture 5: Proofs Methods and StrategyCMSC 56 | Lecture 5: Proofs Methods and Strategy
CMSC 56 | Lecture 5: Proofs Methods and Strategy
 
CMSC 56 | Lecture 8: Growth of Functions
CMSC 56 | Lecture 8: Growth of FunctionsCMSC 56 | Lecture 8: Growth of Functions
CMSC 56 | Lecture 8: Growth of Functions
 
Knowledge representation and Predicate logic
Knowledge representation and Predicate logicKnowledge representation and Predicate logic
Knowledge representation and Predicate logic
 
Discrete Structures lecture 2
 Discrete Structures lecture 2 Discrete Structures lecture 2
Discrete Structures lecture 2
 
Proofs by contraposition
Proofs by contrapositionProofs by contraposition
Proofs by contraposition
 
CMSC 56 | Lecture 4: Rules of Inference
CMSC 56 | Lecture 4: Rules of InferenceCMSC 56 | Lecture 4: Rules of Inference
CMSC 56 | Lecture 4: Rules of Inference
 
Propositional Logic (Descreate Mathematics)
Propositional Logic (Descreate Mathematics)Propositional Logic (Descreate Mathematics)
Propositional Logic (Descreate Mathematics)
 
Predicate logic
 Predicate logic Predicate logic
Predicate logic
 
5.2 Strong Induction
5.2 Strong Induction5.2 Strong Induction
5.2 Strong Induction
 
Set in discrete mathematics
Set in discrete mathematicsSet in discrete mathematics
Set in discrete mathematics
 
CMSC 56 | Lecture 1: Propositional Logic
CMSC 56 | Lecture 1: Propositional LogicCMSC 56 | Lecture 1: Propositional Logic
CMSC 56 | Lecture 1: Propositional Logic
 
Discrete Mathematics - Propositional Logic
Discrete Mathematics - Propositional LogicDiscrete Mathematics - Propositional Logic
Discrete Mathematics - Propositional Logic
 
Propositional logic
Propositional logicPropositional logic
Propositional logic
 
Discrete Math Lecture 03: Methods of Proof
Discrete Math Lecture 03: Methods of ProofDiscrete Math Lecture 03: Methods of Proof
Discrete Math Lecture 03: Methods of Proof
 

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
 
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
 
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
 
Chapter 1 Logic of Compound Statements
Chapter 1 Logic of Compound StatementsChapter 1 Logic of Compound Statements
Chapter 1 Logic of Compound Statementsguestd166eb5
 
Mathematical Logic - Part 1
Mathematical Logic - Part 1Mathematical Logic - Part 1
Mathematical Logic - Part 1blaircomp2003
 
Introduction to parliamentary debate
Introduction to parliamentary debateIntroduction to parliamentary debate
Introduction to parliamentary debateAbhinandan Ray
 

Viewers also liked (17)

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
 
Discrete mathematics
Discrete mathematicsDiscrete mathematics
Discrete mathematics
 
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 د. خالد بكرو
 
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)
 
Chapter 1 Logic of Compound Statements
Chapter 1 Logic of Compound StatementsChapter 1 Logic of Compound Statements
Chapter 1 Logic of Compound Statements
 
Mathematical Logic - Part 1
Mathematical Logic - Part 1Mathematical Logic - Part 1
Mathematical Logic - Part 1
 
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
 
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
 
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
 
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
 
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
 

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

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
 
Disha NEET Physics Guide for classes 11 and 12.pdf
Disha NEET Physics Guide for classes 11 and 12.pdfDisha NEET Physics Guide for classes 11 and 12.pdf
Disha NEET Physics Guide for classes 11 and 12.pdfchloefrazer622
 
SOCIAL AND HISTORICAL CONTEXT - LFTVD.pptx
SOCIAL AND HISTORICAL CONTEXT - LFTVD.pptxSOCIAL AND HISTORICAL CONTEXT - LFTVD.pptx
SOCIAL AND HISTORICAL CONTEXT - LFTVD.pptxiammrhaywood
 
Ecosystem Interactions Class Discussion Presentation in Blue Green Lined Styl...
Ecosystem Interactions Class Discussion Presentation in Blue Green Lined Styl...Ecosystem Interactions Class Discussion Presentation in Blue Green Lined Styl...
Ecosystem Interactions Class Discussion Presentation in Blue Green Lined Styl...fonyou31
 
Student login on Anyboli platform.helpin
Student login on Anyboli platform.helpinStudent login on Anyboli platform.helpin
Student login on Anyboli platform.helpinRaunakKeshri1
 
Sports & Fitness Value Added Course FY..
Sports & Fitness Value Added Course FY..Sports & Fitness Value Added Course FY..
Sports & Fitness Value Added Course FY..Disha Kariya
 
Accessible design: Minimum effort, maximum impact
Accessible design: Minimum effort, maximum impactAccessible design: Minimum effort, maximum impact
Accessible design: Minimum effort, maximum impactdawncurless
 
1029-Danh muc Sach Giao Khoa khoi 6.pdf
1029-Danh muc Sach Giao Khoa khoi  6.pdf1029-Danh muc Sach Giao Khoa khoi  6.pdf
1029-Danh muc Sach Giao Khoa khoi 6.pdfQucHHunhnh
 
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
 
microwave assisted reaction. General introduction
microwave assisted reaction. General introductionmicrowave assisted reaction. General introduction
microwave assisted reaction. General introductionMaksud Ahmed
 
Russian Escort Service in Delhi 11k Hotel Foreigner Russian Call Girls in Delhi
Russian Escort Service in Delhi 11k Hotel Foreigner Russian Call Girls in DelhiRussian Escort Service in Delhi 11k Hotel Foreigner Russian Call Girls in Delhi
Russian Escort Service in Delhi 11k Hotel Foreigner Russian Call Girls in Delhikauryashika82
 
Measures of Dispersion and Variability: Range, QD, AD and SD
Measures of Dispersion and Variability: Range, QD, AD and SDMeasures of Dispersion and Variability: Range, QD, AD and SD
Measures of Dispersion and Variability: Range, QD, AD and SDThiyagu K
 
The Most Excellent Way | 1 Corinthians 13
The Most Excellent Way | 1 Corinthians 13The Most Excellent Way | 1 Corinthians 13
The Most Excellent Way | 1 Corinthians 13Steve Thomason
 
General AI for Medical Educators April 2024
General AI for Medical Educators April 2024General AI for Medical Educators April 2024
General AI for Medical Educators April 2024Janet Corral
 
Nutritional Needs Presentation - HLTH 104
Nutritional Needs Presentation - HLTH 104Nutritional Needs Presentation - HLTH 104
Nutritional Needs Presentation - HLTH 104misteraugie
 
9548086042 for call girls in Indira Nagar with room service
9548086042  for call girls in Indira Nagar  with room service9548086042  for call girls in Indira Nagar  with room service
9548086042 for call girls in Indira Nagar with room servicediscovermytutordmt
 
Interactive Powerpoint_How to Master effective communication
Interactive Powerpoint_How to Master effective communicationInteractive Powerpoint_How to Master effective communication
Interactive Powerpoint_How to Master effective communicationnomboosow
 
fourth grading exam for kindergarten in writing
fourth grading exam for kindergarten in writingfourth grading exam for kindergarten in writing
fourth grading exam for kindergarten in writingTeacherCyreneCayanan
 
Q4-W6-Restating Informational Text Grade 3
Q4-W6-Restating Informational Text Grade 3Q4-W6-Restating Informational Text Grade 3
Q4-W6-Restating Informational Text Grade 3JemimahLaneBuaron
 

Recently uploaded (20)

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
 
Disha NEET Physics Guide for classes 11 and 12.pdf
Disha NEET Physics Guide for classes 11 and 12.pdfDisha NEET Physics Guide for classes 11 and 12.pdf
Disha NEET Physics Guide for classes 11 and 12.pdf
 
SOCIAL AND HISTORICAL CONTEXT - LFTVD.pptx
SOCIAL AND HISTORICAL CONTEXT - LFTVD.pptxSOCIAL AND HISTORICAL CONTEXT - LFTVD.pptx
SOCIAL AND HISTORICAL CONTEXT - LFTVD.pptx
 
Ecosystem Interactions Class Discussion Presentation in Blue Green Lined Styl...
Ecosystem Interactions Class Discussion Presentation in Blue Green Lined Styl...Ecosystem Interactions Class Discussion Presentation in Blue Green Lined Styl...
Ecosystem Interactions Class Discussion Presentation in Blue Green Lined Styl...
 
Student login on Anyboli platform.helpin
Student login on Anyboli platform.helpinStudent login on Anyboli platform.helpin
Student login on Anyboli platform.helpin
 
Sports & Fitness Value Added Course FY..
Sports & Fitness Value Added Course FY..Sports & Fitness Value Added Course FY..
Sports & Fitness Value Added Course FY..
 
Accessible design: Minimum effort, maximum impact
Accessible design: Minimum effort, maximum impactAccessible design: Minimum effort, maximum impact
Accessible design: Minimum effort, maximum impact
 
1029-Danh muc Sach Giao Khoa khoi 6.pdf
1029-Danh muc Sach Giao Khoa khoi  6.pdf1029-Danh muc Sach Giao Khoa khoi  6.pdf
1029-Danh muc Sach Giao Khoa khoi 6.pdf
 
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...
 
Mattingly "AI & Prompt Design: The Basics of Prompt Design"
Mattingly "AI & Prompt Design: The Basics of Prompt Design"Mattingly "AI & Prompt Design: The Basics of Prompt Design"
Mattingly "AI & Prompt Design: The Basics of Prompt Design"
 
microwave assisted reaction. General introduction
microwave assisted reaction. General introductionmicrowave assisted reaction. General introduction
microwave assisted reaction. General introduction
 
Russian Escort Service in Delhi 11k Hotel Foreigner Russian Call Girls in Delhi
Russian Escort Service in Delhi 11k Hotel Foreigner Russian Call Girls in DelhiRussian Escort Service in Delhi 11k Hotel Foreigner Russian Call Girls in Delhi
Russian Escort Service in Delhi 11k Hotel Foreigner Russian Call Girls in Delhi
 
Measures of Dispersion and Variability: Range, QD, AD and SD
Measures of Dispersion and Variability: Range, QD, AD and SDMeasures of Dispersion and Variability: Range, QD, AD and SD
Measures of Dispersion and Variability: Range, QD, AD and SD
 
The Most Excellent Way | 1 Corinthians 13
The Most Excellent Way | 1 Corinthians 13The Most Excellent Way | 1 Corinthians 13
The Most Excellent Way | 1 Corinthians 13
 
General AI for Medical Educators April 2024
General AI for Medical Educators April 2024General AI for Medical Educators April 2024
General AI for Medical Educators April 2024
 
Nutritional Needs Presentation - HLTH 104
Nutritional Needs Presentation - HLTH 104Nutritional Needs Presentation - HLTH 104
Nutritional Needs Presentation - HLTH 104
 
9548086042 for call girls in Indira Nagar with room service
9548086042  for call girls in Indira Nagar  with room service9548086042  for call girls in Indira Nagar  with room service
9548086042 for call girls in Indira Nagar with room service
 
Interactive Powerpoint_How to Master effective communication
Interactive Powerpoint_How to Master effective communicationInteractive Powerpoint_How to Master effective communication
Interactive Powerpoint_How to Master effective communication
 
fourth grading exam for kindergarten in writing
fourth grading exam for kindergarten in writingfourth grading exam for kindergarten in writing
fourth grading exam for kindergarten in writing
 
Q4-W6-Restating Informational Text Grade 3
Q4-W6-Restating Informational Text Grade 3Q4-W6-Restating Informational Text Grade 3
Q4-W6-Restating Informational Text Grade 3
 

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