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.
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
This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License