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.

Summary

  • Predicate logic differentiates from propositional logic by its use of quantifiers

    • Each interpretation of predicate logic includes a domain of discourse over which the quantifiers range.

  • There are many deductive systems for predicate logic that are sound (only deriving correct results) and complete (able to derive any logically valid implication)

  • The logical consequence relation in predicate logic is only semidecidable

  • This lecture focused on three core aspects of the predicate logic: Syntax, Semantics, and Inference


Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.