UNIVERSITI PENDIDKAN SULTAN IDRIS                   PREPARED BY : MOHAMAD AL FAIZ BIN SELAMAT
Topics                            2.1. Conditional                       Biconditional           3. De Morgan’s           ...
1. ConditionalPropositional Logic – Implication  It means that the operator that forms a sentence from two given  sentence...
Example 1Example :  If muzzamer is the agent of Herbalife (p), then he used the product (q).  If p, then 2 + 2 = 4Truth th...
Remarks and ImplicationRemarks :  The implication p → q is false only when p is true then q is false.  The implication p →...
2. BiconditionalDefinition : Let P and Q be two propositions. P ↔ Q is true whenever P and Q have the same truth values. T...
Example 2Example :Let ;      p : Jamal receives a scholarship      q : Jamal goes to collegeThe proposition can be written...
Example 2                   cont…The converse of the propositions is :      “If Jamal goes to college, then he receives th...
Example 2                 cont…Truth table for the biconditional:           p               q          p↔q           T    ...
Logical EquivalencesSimilarly to standard algebra, there are laws to manipulatelogical expressions, given as logical equiv...
3. De Morgan’s Law For Logic  Verify the first of De Morgan’s Law       ⌐ (p ˅ q) ≡ ⌐p ˅ ⌐q  ,     ⌐ (p ˄ q) ≡ ⌐p ˄ ⌐q  By...
Example 4Truth table for De Morgan’s Law :           p           q        ⌐ (p ˅ q)   ⌐p ˅ ⌐q           T           T     ...
Slide subtopic 2
Slide subtopic 2
Slide subtopic 2
Slide subtopic 2
Slide subtopic 2
Slide subtopic 2
Slide subtopic 2
Slide subtopic 2
Slide subtopic 2
Slide subtopic 2
Slide subtopic 2
Slide subtopic 2
Upcoming SlideShare
Loading in...5
×

Slide subtopic 2

469

Published on

Published in: News & Politics, Technology
0 Comments
0 Likes
Statistics
Notes
  • Be the first to comment

  • Be the first to like this

No Downloads
Views
Total Views
469
On Slideshare
0
From Embeds
0
Number of Embeds
0
Actions
Shares
0
Downloads
8
Comments
0
Likes
0
Embeds 0
No embeds

No notes for slide

Slide subtopic 2

  1. 1. UNIVERSITI PENDIDKAN SULTAN IDRIS PREPARED BY : MOHAMAD AL FAIZ BIN SELAMAT
  2. 2. Topics 2.1. Conditional Biconditional 3. De Morgan’s Law For Logic
  3. 3. 1. ConditionalPropositional Logic – Implication It means that the operator that forms a sentence from two given sentences and corresponds to the English if …then … Let p and q be propositions. The compound proposition “if p then q“, denoted “p → q“, is false when p is true and q is false, and is true otherwise. This compound proposition p → q is called the implication (or the conditional statement) of p and q. p is called hypothesis ( or antecedent or premise ) and q is called the conclusion ( or consequence ).
  4. 4. Example 1Example : If muzzamer is the agent of Herbalife (p), then he used the product (q). If p, then 2 + 2 = 4Truth the table for the implication: p q p→q T T T T F F F T T F F T
  5. 5. Remarks and ImplicationRemarks : The implication p → q is false only when p is true then q is false. The implication p → q is true when p is false whatever the truth value of q.Implication : If p then q p is sufficient for q p implies q a sufficient condition for q is p q is p q follows from p p only if q q whenever p q when p
  6. 6. 2. BiconditionalDefinition : Let P and Q be two propositions. P ↔ Q is true whenever P and Q have the same truth values. The proposition P ↔ Q is called biconditional or equivalence, it is pronounced “P if and only if Q”.
  7. 7. Example 2Example :Let ; p : Jamal receives a scholarship q : Jamal goes to collegeThe proposition can be written symbolically as p ↔ q.Since the hypothesis q is false, the conditional propositionis true.
  8. 8. Example 2 cont…The converse of the propositions is : “If Jamal goes to college, then he receives the scholarship”.This is considered to be true precisely when p and q havethe same truth values).If p and q are propositions, the proposition p if and only if qIs called a biconditional proposition and is denoted p↔q
  9. 9. Example 2 cont…Truth table for the biconditional: p q p↔q T T T T F F F T F F F T
  10. 10. Logical EquivalencesSimilarly to standard algebra, there are laws to manipulatelogical expressions, given as logical equivalences. Commutative Distributive Associative laws laws laws: • PV Q ≡ Q V P • (P V Q) V R ≡ • (P V Q) Λ (P V R) • PΛ Q ≡ Q Λ P P V (Q V R) ≡ P V (Q Λ R) • (P Λ Q) Λ R ≡ • (P Λ Q) V (P Λ R) P Λ (Q Λ R) ≡ P Λ (Q V R)
  11. 11. 3. De Morgan’s Law For Logic Verify the first of De Morgan’s Law ⌐ (p ˅ q) ≡ ⌐p ˅ ⌐q , ⌐ (p ˄ q) ≡ ⌐p ˄ ⌐q By writing the truth table for P = ⌐ (p ˅ q)and Q = ⌐p ˅ ⌐q we can verify that, given any truth values of p and , q, either P or Q are both true or P and true are the both false:
  12. 12. Example 4Truth table for De Morgan’s Law : p q ⌐ (p ˅ q) ⌐p ˅ ⌐q T T F F T F F F F T F F F F T T
  1. A particular slide catching your eye?

    Clipping is a handy way to collect important slides you want to go back to later.

×