SlideShare ist ein Scribd-Unternehmen logo
1 von 24
UNIVERSITI PENDIDKAN SULTAN IDRIS




                   PREPARED BY : MOHAMAD AL FAIZ BIN SELAMAT
Definition :
  A proposition is a declarative sentence that is either
  TRUE or FALSE, but NOT BOT
  The example of declarative sentence that are not propositions:

        1. Zulhelmy will not win the Thomas cup this year.
           x+1=3
        2. Kuala Lumpur is a capital of Malaysia.
           2+2=4
Notation


We use letters to denote propositional variables that represent
propositions.
The conventional letters used to denote numerical variable.
The conventional letters used for propositional variables are p ,
q , r , s ,…..
The area of logic that deals with propositions is called
propositional calculus or propositional logic.
Quantifiers


        (1)                  ( 2)
      Negation           Conjunction

              Propositional
                 Logic

1.                           (4)
         (3)
                          Exclusive
     Disjunction
                         Disjunction
1. Propositional Logic –
          Negation


Negation is an other propositions
The compound proposition is “it is not the case that p”.
It called the negation of p and the denoted of ⌐p .
The truth value of the negation of p is the opposite of the
truth value of p. The proposition ⌐p is also can say as “not
p”.
Example 1

Example :
 Discrete mathematics is Hasrul’s favorite subject. ( p )
 Discrete mathematics is NOT Hasrul’s favorite subject.(⌐p )

Truth the table for negation :
                      p               ⌐p
                     True            False
                     False           True
The truth table presents the relations between the truth values
of many propositions involved in a compound proposition
2. Propositional Logic –
        Conjunction


Conjunction is a compound proposition that has
components joined by the word and or its symbol.
It is true only if both or all the components are true.
Let p and q be propositions :
        The compound proposition “p and q“ .
        “p ˄ q”, is true when both p and q are true and
         false otherwise
Example 2

Example :
      Faiz is a singer (p) and dancer (q).

Truth the table for conjunction :

                p              q             p˄q
                T              T              T
                T              F              F
                F              T              F
                F              F              F
3. Propositional Logic –
        Disjunction


Disjunction is a proposition that presents two or more
alternative terms, with the assertion that only one is true.
The compound proposition “p or q“ or “p ˄ q“, is false
when both p and q are false and true otherwise.
The compound proposition “p ˄ q“ is called disjunction
of p and q.
Example 3

Example :
      Faiz is a singer (p) or dancer (q).

Truth the table for disjunction:

               P               Q            p˄q
               T                T           T
               T                F           T
               F                T           T
               F                F            F
4. Propositional Logic –
   Exclusive Disjunction


Exclusive Disjunction is a Logic the connective.
It gives the value true to a disjunction if one or other, but
not both, of the disjunction are true.
The compound proposition “p exclusive or q“, denoted
“p ⊕ q“, is true when exactly one of p and q is true and
is false otherwise.
This compound proposition “p ⊕ q“ is called exclusive
disjunction of p and q.
Example 4

Example :
      You can have a PS2 (p) or PSP (q).

Truth the table for the exclusive disjunction:

              p                q             p⊕q
              T               T                  F
              T                F                 T
              F               T                  T
              F                F                 F
UNIPSI Sultan Idris Education

Weitere ähnliche Inhalte

Was ist angesagt?

Was ist angesagt? (18)

Mathematical Logic
Mathematical LogicMathematical Logic
Mathematical Logic
 
Discrete mathematics
Discrete mathematicsDiscrete mathematics
Discrete mathematics
 
Mathematical Logic - Part 1
Mathematical Logic - Part 1Mathematical Logic - Part 1
Mathematical Logic - Part 1
 
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 د. خالد بكرو
 
Logic (PROPOSITIONS)
Logic (PROPOSITIONS)Logic (PROPOSITIONS)
Logic (PROPOSITIONS)
 
Per3 logika&pembuktian
Per3 logika&pembuktianPer3 logika&pembuktian
Per3 logika&pembuktian
 
Logic&proof
Logic&proofLogic&proof
Logic&proof
 
Logic (slides)
Logic (slides)Logic (slides)
Logic (slides)
 
Mathematical Logic
Mathematical LogicMathematical Logic
Mathematical Logic
 
CMSC 56 | Lecture 2: Propositional Equivalences
CMSC 56 | Lecture 2: Propositional EquivalencesCMSC 56 | Lecture 2: Propositional Equivalences
CMSC 56 | Lecture 2: Propositional Equivalences
 
Logic
LogicLogic
Logic
 
Discrete Math Lecture 02: First Order Logic
Discrete Math Lecture 02: First Order LogicDiscrete Math Lecture 02: First Order Logic
Discrete Math Lecture 02: First Order Logic
 
Truth table
Truth tableTruth table
Truth table
 
Propositional logic
Propositional logicPropositional logic
Propositional logic
 
Propositional Logic and Pridicate logic
Propositional Logic and Pridicate logicPropositional Logic and Pridicate logic
Propositional Logic and Pridicate logic
 
Logic - Logical Propositions
Logic - Logical Propositions Logic - Logical Propositions
Logic - Logical Propositions
 
C2.0 propositional logic
C2.0 propositional logicC2.0 propositional logic
C2.0 propositional logic
 
Unit I discrete mathematics lecture notes
Unit I  discrete mathematics lecture notesUnit I  discrete mathematics lecture notes
Unit I discrete mathematics lecture notes
 

Andere mochten auch

Propositions - Discrete Structures
Propositions - Discrete Structures Propositions - Discrete Structures
Propositions - Discrete Structures Drishti Bhalla
 
The Statement of Conjunctive and Disjunctive Queries in Object Oriented Datab...
The Statement of Conjunctive and Disjunctive Queries in Object Oriented Datab...The Statement of Conjunctive and Disjunctive Queries in Object Oriented Datab...
The Statement of Conjunctive and Disjunctive Queries in Object Oriented Datab...Editor IJCATR
 
Part 3.3 proposition
Part 3.3   propositionPart 3.3   proposition
Part 3.3 propositionLê Hương
 
LOGIC AND CRITICAL THINKING
LOGIC AND CRITICAL THINKINGLOGIC AND CRITICAL THINKING
LOGIC AND CRITICAL THINKINGtagupaleomark
 
Logic: Critical Thinking and Correct Reasoning
Logic: Critical Thinking and Correct ReasoningLogic: Critical Thinking and Correct Reasoning
Logic: Critical Thinking and Correct ReasoningSam Bernales Jr
 

Andere mochten auch (8)

Propositions - Discrete Structures
Propositions - Discrete Structures Propositions - Discrete Structures
Propositions - Discrete Structures
 
The Statement of Conjunctive and Disjunctive Queries in Object Oriented Datab...
The Statement of Conjunctive and Disjunctive Queries in Object Oriented Datab...The Statement of Conjunctive and Disjunctive Queries in Object Oriented Datab...
The Statement of Conjunctive and Disjunctive Queries in Object Oriented Datab...
 
Logic
LogicLogic
Logic
 
Part 3.3 proposition
Part 3.3   propositionPart 3.3   proposition
Part 3.3 proposition
 
Formal Logic: Quick Outline
Formal Logic: Quick OutlineFormal Logic: Quick Outline
Formal Logic: Quick Outline
 
LOGIC AND CRITICAL THINKING
LOGIC AND CRITICAL THINKINGLOGIC AND CRITICAL THINKING
LOGIC AND CRITICAL THINKING
 
Logic: Critical Thinking and Correct Reasoning
Logic: Critical Thinking and Correct ReasoningLogic: Critical Thinking and Correct Reasoning
Logic: Critical Thinking and Correct Reasoning
 
Hypothetical Syllogism
Hypothetical SyllogismHypothetical Syllogism
Hypothetical Syllogism
 

Ähnlich wie UNIPSI Sultan Idris Education

UGC NET Computer Science & Application book.pdf [Sample]
UGC NET Computer Science & Application book.pdf  [Sample]UGC NET Computer Science & Application book.pdf  [Sample]
UGC NET Computer Science & Application book.pdf [Sample]DIwakar Rajput
 
Discrete mathematics Chapter1 presentation.ppt
Discrete mathematics Chapter1 presentation.pptDiscrete mathematics Chapter1 presentation.ppt
Discrete mathematics Chapter1 presentation.pptNandiniSR2
 
Discrete-Chapter 04 Logic Part I
Discrete-Chapter 04 Logic Part IDiscrete-Chapter 04 Logic Part I
Discrete-Chapter 04 Logic Part IWongyos Keardsri
 
logicproof-141212042039-conversion-gate01.pdf
logicproof-141212042039-conversion-gate01.pdflogicproof-141212042039-conversion-gate01.pdf
logicproof-141212042039-conversion-gate01.pdfPradeeshSAI
 
desmath(1).ppt
desmath(1).pptdesmath(1).ppt
desmath(1).pptMemMem25
 
Logic in Computer Science Unit 2 (1).pptx
Logic in Computer Science Unit 2 (1).pptxLogic in Computer Science Unit 2 (1).pptx
Logic in Computer Science Unit 2 (1).pptxPriyalMayurManvar
 
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
 
Nature of Logic.pptx
Nature of Logic.pptxNature of Logic.pptx
Nature of Logic.pptxMath101BSCA1C
 
20220818151924_PPT01 - The Logic of Compound and Quantitative Statement.pptx
20220818151924_PPT01 - The Logic of Compound and Quantitative Statement.pptx20220818151924_PPT01 - The Logic of Compound and Quantitative Statement.pptx
20220818151924_PPT01 - The Logic of Compound and Quantitative Statement.pptxssuser92109d
 
Chapter 01 - p1.pdf
Chapter 01 - p1.pdfChapter 01 - p1.pdf
Chapter 01 - p1.pdfsmarwaneid
 
Proposition & Logical Operations
Proposition & Logical OperationsProposition & Logical Operations
Proposition & Logical OperationsSunipa Bera
 

Ähnlich wie UNIPSI Sultan Idris Education (20)

Chapter 1
Chapter 1Chapter 1
Chapter 1
 
Chapter 1
Chapter 1Chapter 1
Chapter 1
 
Slide subtopic 2
Slide subtopic 2Slide subtopic 2
Slide subtopic 2
 
UGC NET Computer Science & Application book.pdf [Sample]
UGC NET Computer Science & Application book.pdf  [Sample]UGC NET Computer Science & Application book.pdf  [Sample]
UGC NET Computer Science & Application book.pdf [Sample]
 
Discrete mathematics Chapter1 presentation.ppt
Discrete mathematics Chapter1 presentation.pptDiscrete mathematics Chapter1 presentation.ppt
Discrete mathematics Chapter1 presentation.ppt
 
dm-logic.pdf
dm-logic.pdfdm-logic.pdf
dm-logic.pdf
 
Logic2.pptx
Logic2.pptxLogic2.pptx
Logic2.pptx
 
Discrete-Chapter 04 Logic Part I
Discrete-Chapter 04 Logic Part IDiscrete-Chapter 04 Logic Part I
Discrete-Chapter 04 Logic Part I
 
L01.ppt
L01.pptL01.ppt
L01.ppt
 
logicproof-141212042039-conversion-gate01.pdf
logicproof-141212042039-conversion-gate01.pdflogicproof-141212042039-conversion-gate01.pdf
logicproof-141212042039-conversion-gate01.pdf
 
desmath(1).ppt
desmath(1).pptdesmath(1).ppt
desmath(1).ppt
 
Logic in Computer Science Unit 2 (1).pptx
Logic in Computer Science Unit 2 (1).pptxLogic in Computer Science Unit 2 (1).pptx
Logic in Computer Science Unit 2 (1).pptx
 
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
 
Nature of Logic.pptx
Nature of Logic.pptxNature of Logic.pptx
Nature of Logic.pptx
 
Propositional logic
Propositional logicPropositional logic
Propositional logic
 
20220818151924_PPT01 - The Logic of Compound and Quantitative Statement.pptx
20220818151924_PPT01 - The Logic of Compound and Quantitative Statement.pptx20220818151924_PPT01 - The Logic of Compound and Quantitative Statement.pptx
20220818151924_PPT01 - The Logic of Compound and Quantitative Statement.pptx
 
Chapter 01 - p1.pdf
Chapter 01 - p1.pdfChapter 01 - p1.pdf
Chapter 01 - p1.pdf
 
Bab 1 proposisi
Bab 1 proposisiBab 1 proposisi
Bab 1 proposisi
 
Proposition & Logical Operations
Proposition & Logical OperationsProposition & Logical Operations
Proposition & Logical Operations
 
Chapter1p1 2.pptx
Chapter1p1 2.pptxChapter1p1 2.pptx
Chapter1p1 2.pptx
 

Mehr von Eli Lilly and Company (13)

Slide subtopic 5
Slide subtopic 5Slide subtopic 5
Slide subtopic 5
 
Chapter 3
Chapter 3Chapter 3
Chapter 3
 
Chapter 5
Chapter 5Chapter 5
Chapter 5
 
Akses dan ekuiti
Akses dan ekuitiAkses dan ekuiti
Akses dan ekuiti
 
Isu profesional guru dalam pengajaran matematik
Isu profesional guru dalam pengajaran matematikIsu profesional guru dalam pengajaran matematik
Isu profesional guru dalam pengajaran matematik
 
kurikulum dan kelainan upaya
kurikulum dan kelainan upayakurikulum dan kelainan upaya
kurikulum dan kelainan upaya
 
jantina dan bangsa
jantina dan bangsajantina dan bangsa
jantina dan bangsa
 
jantina dan bangsa
jantina dan bangsajantina dan bangsa
jantina dan bangsa
 
Jantina dan bangsa
Jantina dan bangsaJantina dan bangsa
Jantina dan bangsa
 
ISU JANTINA
ISU JANTINAISU JANTINA
ISU JANTINA
 
Qayyum
QayyumQayyum
Qayyum
 
Trend kurikulum
Trend kurikulumTrend kurikulum
Trend kurikulum
 
Isu profesional guru dalam pengajaran matematik
Isu profesional guru dalam pengajaran matematikIsu profesional guru dalam pengajaran matematik
Isu profesional guru dalam pengajaran matematik
 

Kürzlich hochgeladen

How to Remove Document Management Hurdles with X-Docs?
How to Remove Document Management Hurdles with X-Docs?How to Remove Document Management Hurdles with X-Docs?
How to Remove Document Management Hurdles with X-Docs?XfilesPro
 
08448380779 Call Girls In Diplomatic Enclave Women Seeking Men
08448380779 Call Girls In Diplomatic Enclave Women Seeking Men08448380779 Call Girls In Diplomatic Enclave Women Seeking Men
08448380779 Call Girls In Diplomatic Enclave Women Seeking MenDelhi Call girls
 
08448380779 Call Girls In Greater Kailash - I Women Seeking Men
08448380779 Call Girls In Greater Kailash - I Women Seeking Men08448380779 Call Girls In Greater Kailash - I Women Seeking Men
08448380779 Call Girls In Greater Kailash - I Women Seeking MenDelhi Call girls
 
08448380779 Call Girls In Friends Colony Women Seeking Men
08448380779 Call Girls In Friends Colony Women Seeking Men08448380779 Call Girls In Friends Colony Women Seeking Men
08448380779 Call Girls In Friends Colony Women Seeking MenDelhi Call girls
 
Injustice - Developers Among Us (SciFiDevCon 2024)
Injustice - Developers Among Us (SciFiDevCon 2024)Injustice - Developers Among Us (SciFiDevCon 2024)
Injustice - Developers Among Us (SciFiDevCon 2024)Allon Mureinik
 
Scaling API-first – The story of a global engineering organization
Scaling API-first – The story of a global engineering organizationScaling API-first – The story of a global engineering organization
Scaling API-first – The story of a global engineering organizationRadu Cotescu
 
Automating Business Process via MuleSoft Composer | Bangalore MuleSoft Meetup...
Automating Business Process via MuleSoft Composer | Bangalore MuleSoft Meetup...Automating Business Process via MuleSoft Composer | Bangalore MuleSoft Meetup...
Automating Business Process via MuleSoft Composer | Bangalore MuleSoft Meetup...shyamraj55
 
Breaking the Kubernetes Kill Chain: Host Path Mount
Breaking the Kubernetes Kill Chain: Host Path MountBreaking the Kubernetes Kill Chain: Host Path Mount
Breaking the Kubernetes Kill Chain: Host Path MountPuma Security, LLC
 
SQL Database Design For Developers at php[tek] 2024
SQL Database Design For Developers at php[tek] 2024SQL Database Design For Developers at php[tek] 2024
SQL Database Design For Developers at php[tek] 2024Scott Keck-Warren
 
Azure Monitor & Application Insight to monitor Infrastructure & Application
Azure Monitor & Application Insight to monitor Infrastructure & ApplicationAzure Monitor & Application Insight to monitor Infrastructure & Application
Azure Monitor & Application Insight to monitor Infrastructure & ApplicationAndikSusilo4
 
Neo4j - How KGs are shaping the future of Generative AI at AWS Summit London ...
Neo4j - How KGs are shaping the future of Generative AI at AWS Summit London ...Neo4j - How KGs are shaping the future of Generative AI at AWS Summit London ...
Neo4j - How KGs are shaping the future of Generative AI at AWS Summit London ...Neo4j
 
Enhancing Worker Digital Experience: A Hands-on Workshop for Partners
Enhancing Worker Digital Experience: A Hands-on Workshop for PartnersEnhancing Worker Digital Experience: A Hands-on Workshop for Partners
Enhancing Worker Digital Experience: A Hands-on Workshop for PartnersThousandEyes
 
How to Troubleshoot Apps for the Modern Connected Worker
How to Troubleshoot Apps for the Modern Connected WorkerHow to Troubleshoot Apps for the Modern Connected Worker
How to Troubleshoot Apps for the Modern Connected WorkerThousandEyes
 
GenCyber Cyber Security Day Presentation
GenCyber Cyber Security Day PresentationGenCyber Cyber Security Day Presentation
GenCyber Cyber Security Day PresentationMichael W. Hawkins
 
Install Stable Diffusion in windows machine
Install Stable Diffusion in windows machineInstall Stable Diffusion in windows machine
Install Stable Diffusion in windows machinePadma Pradeep
 
AI as an Interface for Commercial Buildings
AI as an Interface for Commercial BuildingsAI as an Interface for Commercial Buildings
AI as an Interface for Commercial BuildingsMemoori
 
Key Features Of Token Development (1).pptx
Key  Features Of Token  Development (1).pptxKey  Features Of Token  Development (1).pptx
Key Features Of Token Development (1).pptxLBM Solutions
 
Factors to Consider When Choosing Accounts Payable Services Providers.pptx
Factors to Consider When Choosing Accounts Payable Services Providers.pptxFactors to Consider When Choosing Accounts Payable Services Providers.pptx
Factors to Consider When Choosing Accounts Payable Services Providers.pptxKatpro Technologies
 
Understanding the Laravel MVC Architecture
Understanding the Laravel MVC ArchitectureUnderstanding the Laravel MVC Architecture
Understanding the Laravel MVC ArchitecturePixlogix Infotech
 
Pigging Solutions Piggable Sweeping Elbows
Pigging Solutions Piggable Sweeping ElbowsPigging Solutions Piggable Sweeping Elbows
Pigging Solutions Piggable Sweeping ElbowsPigging Solutions
 

Kürzlich hochgeladen (20)

How to Remove Document Management Hurdles with X-Docs?
How to Remove Document Management Hurdles with X-Docs?How to Remove Document Management Hurdles with X-Docs?
How to Remove Document Management Hurdles with X-Docs?
 
08448380779 Call Girls In Diplomatic Enclave Women Seeking Men
08448380779 Call Girls In Diplomatic Enclave Women Seeking Men08448380779 Call Girls In Diplomatic Enclave Women Seeking Men
08448380779 Call Girls In Diplomatic Enclave Women Seeking Men
 
08448380779 Call Girls In Greater Kailash - I Women Seeking Men
08448380779 Call Girls In Greater Kailash - I Women Seeking Men08448380779 Call Girls In Greater Kailash - I Women Seeking Men
08448380779 Call Girls In Greater Kailash - I Women Seeking Men
 
08448380779 Call Girls In Friends Colony Women Seeking Men
08448380779 Call Girls In Friends Colony Women Seeking Men08448380779 Call Girls In Friends Colony Women Seeking Men
08448380779 Call Girls In Friends Colony Women Seeking Men
 
Injustice - Developers Among Us (SciFiDevCon 2024)
Injustice - Developers Among Us (SciFiDevCon 2024)Injustice - Developers Among Us (SciFiDevCon 2024)
Injustice - Developers Among Us (SciFiDevCon 2024)
 
Scaling API-first – The story of a global engineering organization
Scaling API-first – The story of a global engineering organizationScaling API-first – The story of a global engineering organization
Scaling API-first – The story of a global engineering organization
 
Automating Business Process via MuleSoft Composer | Bangalore MuleSoft Meetup...
Automating Business Process via MuleSoft Composer | Bangalore MuleSoft Meetup...Automating Business Process via MuleSoft Composer | Bangalore MuleSoft Meetup...
Automating Business Process via MuleSoft Composer | Bangalore MuleSoft Meetup...
 
Breaking the Kubernetes Kill Chain: Host Path Mount
Breaking the Kubernetes Kill Chain: Host Path MountBreaking the Kubernetes Kill Chain: Host Path Mount
Breaking the Kubernetes Kill Chain: Host Path Mount
 
SQL Database Design For Developers at php[tek] 2024
SQL Database Design For Developers at php[tek] 2024SQL Database Design For Developers at php[tek] 2024
SQL Database Design For Developers at php[tek] 2024
 
Azure Monitor & Application Insight to monitor Infrastructure & Application
Azure Monitor & Application Insight to monitor Infrastructure & ApplicationAzure Monitor & Application Insight to monitor Infrastructure & Application
Azure Monitor & Application Insight to monitor Infrastructure & Application
 
Neo4j - How KGs are shaping the future of Generative AI at AWS Summit London ...
Neo4j - How KGs are shaping the future of Generative AI at AWS Summit London ...Neo4j - How KGs are shaping the future of Generative AI at AWS Summit London ...
Neo4j - How KGs are shaping the future of Generative AI at AWS Summit London ...
 
Enhancing Worker Digital Experience: A Hands-on Workshop for Partners
Enhancing Worker Digital Experience: A Hands-on Workshop for PartnersEnhancing Worker Digital Experience: A Hands-on Workshop for Partners
Enhancing Worker Digital Experience: A Hands-on Workshop for Partners
 
How to Troubleshoot Apps for the Modern Connected Worker
How to Troubleshoot Apps for the Modern Connected WorkerHow to Troubleshoot Apps for the Modern Connected Worker
How to Troubleshoot Apps for the Modern Connected Worker
 
GenCyber Cyber Security Day Presentation
GenCyber Cyber Security Day PresentationGenCyber Cyber Security Day Presentation
GenCyber Cyber Security Day Presentation
 
Install Stable Diffusion in windows machine
Install Stable Diffusion in windows machineInstall Stable Diffusion in windows machine
Install Stable Diffusion in windows machine
 
AI as an Interface for Commercial Buildings
AI as an Interface for Commercial BuildingsAI as an Interface for Commercial Buildings
AI as an Interface for Commercial Buildings
 
Key Features Of Token Development (1).pptx
Key  Features Of Token  Development (1).pptxKey  Features Of Token  Development (1).pptx
Key Features Of Token Development (1).pptx
 
Factors to Consider When Choosing Accounts Payable Services Providers.pptx
Factors to Consider When Choosing Accounts Payable Services Providers.pptxFactors to Consider When Choosing Accounts Payable Services Providers.pptx
Factors to Consider When Choosing Accounts Payable Services Providers.pptx
 
Understanding the Laravel MVC Architecture
Understanding the Laravel MVC ArchitectureUnderstanding the Laravel MVC Architecture
Understanding the Laravel MVC Architecture
 
Pigging Solutions Piggable Sweeping Elbows
Pigging Solutions Piggable Sweeping ElbowsPigging Solutions Piggable Sweeping Elbows
Pigging Solutions Piggable Sweeping Elbows
 

UNIPSI Sultan Idris Education

  • 1. UNIVERSITI PENDIDKAN SULTAN IDRIS PREPARED BY : MOHAMAD AL FAIZ BIN SELAMAT
  • 2.
  • 3. Definition : A proposition is a declarative sentence that is either TRUE or FALSE, but NOT BOT The example of declarative sentence that are not propositions: 1. Zulhelmy will not win the Thomas cup this year. x+1=3 2. Kuala Lumpur is a capital of Malaysia. 2+2=4
  • 4.
  • 5. Notation We use letters to denote propositional variables that represent propositions. The conventional letters used to denote numerical variable. The conventional letters used for propositional variables are p , q , r , s ,….. The area of logic that deals with propositions is called propositional calculus or propositional logic.
  • 6.
  • 7. Quantifiers (1) ( 2) Negation Conjunction Propositional Logic 1. (4) (3) Exclusive Disjunction Disjunction
  • 8.
  • 9. 1. Propositional Logic – Negation Negation is an other propositions The compound proposition is “it is not the case that p”. It called the negation of p and the denoted of ⌐p . The truth value of the negation of p is the opposite of the truth value of p. The proposition ⌐p is also can say as “not p”.
  • 10.
  • 11. Example 1 Example : Discrete mathematics is Hasrul’s favorite subject. ( p ) Discrete mathematics is NOT Hasrul’s favorite subject.(⌐p ) Truth the table for negation : p ⌐p True False False True The truth table presents the relations between the truth values of many propositions involved in a compound proposition
  • 12.
  • 13. 2. Propositional Logic – Conjunction Conjunction is a compound proposition that has components joined by the word and or its symbol. It is true only if both or all the components are true. Let p and q be propositions : The compound proposition “p and q“ . “p ˄ q”, is true when both p and q are true and false otherwise
  • 14.
  • 15. Example 2 Example : Faiz is a singer (p) and dancer (q). Truth the table for conjunction : p q p˄q T T T T F F F T F F F F
  • 16.
  • 17. 3. Propositional Logic – Disjunction Disjunction is a proposition that presents two or more alternative terms, with the assertion that only one is true. The compound proposition “p or q“ or “p ˄ q“, is false when both p and q are false and true otherwise. The compound proposition “p ˄ q“ is called disjunction of p and q.
  • 18.
  • 19. Example 3 Example : Faiz is a singer (p) or dancer (q). Truth the table for disjunction: P Q p˄q T T T T F T F T T F F F
  • 20.
  • 21. 4. Propositional Logic – Exclusive Disjunction Exclusive Disjunction is a Logic the connective. It gives the value true to a disjunction if one or other, but not both, of the disjunction are true. The compound proposition “p exclusive or q“, denoted “p ⊕ q“, is true when exactly one of p and q is true and is false otherwise. This compound proposition “p ⊕ q“ is called exclusive disjunction of p and q.
  • 22.
  • 23. Example 4 Example : You can have a PS2 (p) or PSP (q). Truth the table for the exclusive disjunction: p q p⊕q T T F T F T F T T F F F