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
assigns a truth value to any atom in a given formula (
is the set of all propositional letters, i.e. atoms)
denotes the set of all propositional formulas. We can extend an assignment v to a function
which assigns the truth value
to any formula
is called an interpretation.