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

Chapter 1 Logic of Compound Statements
Chapter 1 Logic of Compound StatementsChapter 1 Logic of Compound Statements
Chapter 1 Logic of Compound Statements
guestd166eb5
 

What's hot (20)

Proofs by contraposition
Proofs by contrapositionProofs by contraposition
Proofs by contraposition
 
Logic and proof
Logic and proofLogic and proof
Logic and proof
 
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
 
Chapter1p1
Chapter1p1Chapter1p1
Chapter1p1
 
Formal Logic - Lesson 5 - Logical Equivalence
Formal Logic - Lesson 5 - Logical EquivalenceFormal Logic - Lesson 5 - Logical Equivalence
Formal Logic - Lesson 5 - Logical Equivalence
 
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
 
Predicates and Quantifiers
Predicates and QuantifiersPredicates and Quantifiers
Predicates and Quantifiers
 
Discrete math Truth Table
Discrete math Truth TableDiscrete math Truth Table
Discrete math Truth Table
 
Discrete mathematics
Discrete mathematicsDiscrete mathematics
Discrete mathematics
 
Arguments and methods of proof
Arguments and methods of proofArguments and methods of proof
Arguments and methods of proof
 
Propositional logic
Propositional logicPropositional logic
Propositional logic
 
Discrete Math Lecture 01: Propositional Logic
Discrete Math Lecture 01: Propositional LogicDiscrete Math Lecture 01: Propositional Logic
Discrete Math Lecture 01: Propositional Logic
 
Principle of mathematical induction
Principle of mathematical inductionPrinciple of mathematical induction
Principle of mathematical induction
 
Logic&proof
Logic&proofLogic&proof
Logic&proof
 
Normal forms
Normal formsNormal forms
Normal forms
 
Syntax and semantics of propositional logic
Syntax and semantics of propositional logicSyntax and semantics of propositional logic
Syntax and semantics of propositional logic
 
Lec 01 proposition (Discrete Mathematics)
Lec 01   proposition (Discrete Mathematics)Lec 01   proposition (Discrete Mathematics)
Lec 01 proposition (Discrete Mathematics)
 
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
 
Hasse diagram
Hasse diagramHasse diagram
Hasse diagram
 
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 & inference
Slideshare
 
Translating English to Propositional Logic
Translating English to Propositional LogicTranslating English to Propositional Logic
Translating English to Propositional Logic
Janet Stemwedel
 
Propositional And First-Order Logic
Propositional And First-Order LogicPropositional And First-Order Logic
Propositional And First-Order Logic
ankush_kumar
 
Want to know about java
Want to know about javaWant to know about java
Want to know about java
adityamadgula
 
Discrete Structures lecture 2
 Discrete Structures lecture 2 Discrete Structures lecture 2
Discrete Structures lecture 2
Ali Usman
 
Introduction to parliamentary debate
Introduction to parliamentary debateIntroduction to parliamentary debate
Introduction to parliamentary debate
Abhinandan Ray
 

Viewers also liked (16)

Logic
LogicLogic
Logic
 
Propositional logic & inference
Propositional logic & inferencePropositional logic & inference
Propositional logic & inference
 
Translating English to Propositional Logic
Translating English to Propositional LogicTranslating English to Propositional Logic
Translating English to 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
 
Discrete Mathematics - Propositional Logic
Discrete Mathematics - Propositional LogicDiscrete Mathematics - Propositional Logic
Discrete Mathematics - Propositional Logic
 
Introduction to parliamentary debate
Introduction to parliamentary debateIntroduction to parliamentary debate
Introduction to parliamentary debate
 

Similar to Propositional logic

Mathematical foundations of computer science
Mathematical foundations of computer scienceMathematical foundations of computer science
Mathematical foundations of computer science
BindhuBhargaviTalasi
 
Assignement of discrete mathematics
Assignement of discrete mathematicsAssignement of discrete mathematics
Assignement of discrete mathematics
Syed Umair
 
Assignement of discrete mathematics
Assignement of discrete mathematicsAssignement of discrete mathematics
Assignement of discrete mathematics
Syed Umair
 
Exercise 1
Exercise 1Exercise 1
Exercise 1
Amr 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_1
taimoor 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
 
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
 
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
 
Propositional logic by shawan
Propositional logic by shawanPropositional logic by shawan
Propositional logic by shawan
 
Formal Logic - Lesson 3 - Truth Tables
Formal Logic - Lesson 3 - Truth TablesFormal Logic - Lesson 3 - Truth Tables
Formal Logic - Lesson 3 - Truth Tables
 

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

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
QucHHunhnh
 
Seal of Good Local Governance (SGLG) 2024Final.pptx
Seal of Good Local Governance (SGLG) 2024Final.pptxSeal of Good Local Governance (SGLG) 2024Final.pptx
Seal of Good Local Governance (SGLG) 2024Final.pptx
negromaestrong
 

Recently uploaded (20)

Third Battle of Panipat detailed notes.pptx
Third Battle of Panipat detailed notes.pptxThird Battle of Panipat detailed notes.pptx
Third Battle of Panipat detailed notes.pptx
 
ICT role in 21st century education and it's challenges.
ICT role in 21st century education and it's challenges.ICT role in 21st century education and it's challenges.
ICT role in 21st century education and it's challenges.
 
How to Manage Global Discount in Odoo 17 POS
How to Manage Global Discount in Odoo 17 POSHow to Manage Global Discount in Odoo 17 POS
How to Manage Global Discount in Odoo 17 POS
 
2024-NATIONAL-LEARNING-CAMP-AND-OTHER.pptx
2024-NATIONAL-LEARNING-CAMP-AND-OTHER.pptx2024-NATIONAL-LEARNING-CAMP-AND-OTHER.pptx
2024-NATIONAL-LEARNING-CAMP-AND-OTHER.pptx
 
ICT Role in 21st Century Education & its Challenges.pptx
ICT Role in 21st Century Education & its Challenges.pptxICT Role in 21st Century Education & its Challenges.pptx
ICT Role in 21st Century Education & its Challenges.pptx
 
TỔNG ÔN TẬP THI VÀO LỚP 10 MÔN TIẾNG ANH NĂM HỌC 2023 - 2024 CÓ ĐÁP ÁN (NGỮ Â...
TỔNG ÔN TẬP THI VÀO LỚP 10 MÔN TIẾNG ANH NĂM HỌC 2023 - 2024 CÓ ĐÁP ÁN (NGỮ Â...TỔNG ÔN TẬP THI VÀO LỚP 10 MÔN TIẾNG ANH NĂM HỌC 2023 - 2024 CÓ ĐÁP ÁN (NGỮ Â...
TỔNG ÔN TẬP THI VÀO LỚP 10 MÔN TIẾNG ANH NĂM HỌC 2023 - 2024 CÓ ĐÁP ÁN (NGỮ Â...
 
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
 
microwave assisted reaction. General introduction
microwave assisted reaction. General introductionmicrowave assisted reaction. General introduction
microwave assisted reaction. General introduction
 
Dyslexia AI Workshop for Slideshare.pptx
Dyslexia AI Workshop for Slideshare.pptxDyslexia AI Workshop for Slideshare.pptx
Dyslexia AI Workshop for Slideshare.pptx
 
Basic Civil Engineering first year Notes- Chapter 4 Building.pptx
Basic Civil Engineering first year Notes- Chapter 4 Building.pptxBasic Civil Engineering first year Notes- Chapter 4 Building.pptx
Basic Civil Engineering first year Notes- Chapter 4 Building.pptx
 
Seal of Good Local Governance (SGLG) 2024Final.pptx
Seal of Good Local Governance (SGLG) 2024Final.pptxSeal of Good Local Governance (SGLG) 2024Final.pptx
Seal of Good Local Governance (SGLG) 2024Final.pptx
 
Unit-IV- Pharma. Marketing Channels.pptx
Unit-IV- Pharma. Marketing Channels.pptxUnit-IV- Pharma. Marketing Channels.pptx
Unit-IV- Pharma. Marketing Channels.pptx
 
Understanding Accommodations and Modifications
Understanding  Accommodations and ModificationsUnderstanding  Accommodations and Modifications
Understanding Accommodations and Modifications
 
Making communications land - Are they received and understood as intended? we...
Making communications land - Are they received and understood as intended? we...Making communications land - Are they received and understood as intended? we...
Making communications land - Are they received and understood as intended? we...
 
SOC 101 Demonstration of Learning Presentation
SOC 101 Demonstration of Learning PresentationSOC 101 Demonstration of Learning Presentation
SOC 101 Demonstration of Learning Presentation
 
Mixin Classes in Odoo 17 How to Extend Models Using Mixin Classes
Mixin Classes in Odoo 17  How to Extend Models Using Mixin ClassesMixin Classes in Odoo 17  How to Extend Models Using Mixin Classes
Mixin Classes in Odoo 17 How to Extend Models Using Mixin Classes
 
Sociology 101 Demonstration of Learning Exhibit
Sociology 101 Demonstration of Learning ExhibitSociology 101 Demonstration of Learning Exhibit
Sociology 101 Demonstration of Learning Exhibit
 
Food safety_Challenges food safety laboratories_.pdf
Food safety_Challenges food safety laboratories_.pdfFood safety_Challenges food safety laboratories_.pdf
Food safety_Challenges food safety laboratories_.pdf
 
On National Teacher Day, meet the 2024-25 Kenan Fellows
On National Teacher Day, meet the 2024-25 Kenan FellowsOn National Teacher Day, meet the 2024-25 Kenan Fellows
On National Teacher Day, meet the 2024-25 Kenan Fellows
 
This PowerPoint helps students to consider the concept of infinity.
This PowerPoint helps students to consider the concept of infinity.This PowerPoint helps students to consider the concept of infinity.
This PowerPoint helps students to consider the concept of infinity.
 

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