Question

Distinguish between predicate and propositional logic with suitable example

Answer 1

Predicate logic is usually used as a synonym for first-order logic, but sometimes it is used to refer to other logics that have similar syntax. Syntactically, first-order logic has the same connectives as propositional logic, but it also has variables for individual objects, quantifiers, symbols for functions, and symbols for relations. The semantics include a domain of discourse for the variables and quantifiers to range over, along with interpretations of the relation and function symbols.

Answer 2

Propositional logic is the logic that deals with a collection of declarative statements which have a truth value, true or false. Predicate logic is an expression consisting of variables with a specified domain. ... A proposition has a specific truth value, either true or false.