What is the difference between propositional logic and predicate logic

Ben Davis August 27, What is the difference between propositional and predicate logic? Why do we need predicate logic? What are the limitations of predicate logic? What is the predicate in English grammar? Is predicate logic complete? What does a first order predicate logic contains? What are the basic elements of first order logic? What is the most important inference rule?

What is used in backward chaining algorithm? What is an example of backward chaining? What is an example of forward chaining? What is forward chaining explain with an example? What do you mean by forward chaining? What do you mean by forward and backward chaining? What is forward chaining and how does it work? How do you do forward chaining? Improve Article. Like Article. Next Intersection of two subgroups of a group is again a subgroup.

Recommended Articles. Article Contributed By :. Easy Normal Medium Hard Expert. Writing code in comment? Please use ide. Personalised recommendations. Cite chapter How to cite? ENW EndNote. Buy options. It required approximately 30 seconds for me to locate the updated location of the lecture notes. I would like to remind others that edits and suggested edits to other user's questions should be made extremely conservatively. Propositional logic, as it is usually understood, does not include quantifiers.

Propositional logic is decidable, for example by the method of truth tables: [Truth table -- Wikipedia] and "complete" in that every tautology in the sentential calculus basically a Boolean expression on variables that represent "sentences", i. The full predicate logic is undecidable: [First-order logic -- Wikipedia] It is "complete" in the sense that all statements of the predicate calculus which are satisfied in every model can be proven in the "predicate logic" and conversely.

It often happens that properties of the propositional logic are inherited by its extensions, so studying propositional logic is worthwhile, and worth noticing when it suffices for an application without further extension.

If I can offer an analogy, complex numbers are an extension of the natural numbers, so when the latter are sufficient for our purpose e. Paul Wintz 1 1 silver badge 9 9 bronze badges. Avi tomar Avi tomar 51 1 1 silver badge 4 4 bronze badges. Can the content be accessible another way? Tejashree Ladhake Tejashree Ladhake 69 1 1 silver badge 1 1 bronze badge.

Hibou57 Hibou57 3 3 silver badges 9 9 bronze badges. And this is the case in both propositional and predicate logic.

While predicate contains symbols, function, objects, relation and quantifiers. Harish Chandra Rajpoot Hassan Muhammad Hassan Muhammad 7. The question you're answering to is almost 5 years old, and your answer doesn't really add anything to the discussion for instance, the accepted answer is far more detailed.

If you want to improve this community, you should solve unanswered posts. Sign up or log in Sign up using Google. Sign up using Facebook.