Upgrade to Pro — share decks privately, control downloads, hide ads and more …

Logical Connectives

Sponsored · Your Podcast. Everywhere. Effortlessly. Share. Educate. Inspire. Entertain. You do you. We'll handle the rest.

Logical Connectives

Avatar for Ifeanyi Oraelosi

Ifeanyi Oraelosi

April 19, 2015
Tweet

More Decks by Ifeanyi Oraelosi

Other Decks in Science

Transcript

  1. Logical Negation - Unary operator ¬ - Converts a proposition

    p to another proposition ¬p such that ¬p is false when p is true and vice versa. - “not p”
  2. Logical Conjunction - Binary operator ∧ - Combines two propositions

    p and q to create a compound proposition p ∧ q such that p ∧ q is true only when p is true and q is true. - “p and q”
  3. Logical Conjunction Truth table Venn Diagram p q p ∧

    q F F F F T F T F F T T T p p p ∧ q q
  4. Logical Inclusive Disjunction - Binary operator ∨ - Combines two

    propositions p and q to create a compound proposition p ∨ q such that p ∨ q is false only when p is false and q is false. - “p or q”
  5. Logical Inclusive Disjunction Truth table Venn Diagram p q p

    ∨ q F F F F T T T F T T T T p p ∨ q
  6. Logical Exclusive Disjunction - Binary operator ⊕ - Combines two

    propositions p and q to create a compound proposition p ⊕ q such that p ⊕ q is false when both p and q are true or when both p and q are false.
  7. Logical Exclusive Disjunction Truth table Venn Diagram p q p

    ⊕ q F F F F T T T F T T T F p p ⊕ q p ⊕ q
  8. Activity. The Art of Translation Let p be the proposition

    “This meetup will end by exactly 5pm” and q be the proposition “Propositional logic is too abstract”. Let’s express the following as natural English sentences: - ¬ p - ¬ q - p ∧ q - p ∨ q - ¬ p ∨ q - ¬ q ∨ ¬ p
  9. “If you don't know where you are going any road

    can take you there.” Lewis Carroll