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.

Universal and Existential elimination

  • Universal elimination

    • If ∀x P(x) is true, then P(c) is true, where c is any constant in the domain of x

    • Variable symbol can be replaced by any ground term

  • Example:

    • ∀x RegularlyAttends(x, lecture) → Pass(x, lecture)

    • Allow us to conclude (assuming Joe is in the domain of x):

    • RegularlyAttends(joe, lecture) → Pass(joe, lecture)


Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.