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.

Formulas

  • Any occurrence a variable in a formulate not in the scope of a quantifier is said to be a free occurrence

  • Otherwise it is called a bound occurrence

  • Thus, if x is a free variable in φ it is bound in ∀xφ and ∃xφ

  • A formula with no free variables is called a closed formula

  • Example: x and y are bound variables, z is a free variable

    ∀x∀y(P(f(x)) → ¬(P(x)) → Q(f(y), x, z)))


Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.