Current Slide

Small screen detected. You are viewing the mobile version of SlideWiki. If you wish to edit slides you will need to use a larger device.


  • In propositional logic, truth values are assigned to the atoms of a formula in order to evaluate the truth value of the formula

  • An assignment is a function

    v : P → {T,F}

    v assigns a truth value to any atom in a given formula ( P is the set of all propositional letters, i.e. atoms)
    Suppose F denotes the set of all propositional formulas. We can extend an assignment v to a function

    v : F → {T,F}

    which assigns the truth value v(A) to any formula A in F. v is called an interpretation.

Speaker notes:

Content Tools


There are currently no sources for this slide.