# Is predicate logic an extension of propositional logic?

As I read in this thread, the difference between propositional and predicate logic is that in predicate logic you can use things like quantifiers, predicates and functions whereas in propositional logic you cannot.

However, you can use things like letters, $\wedge$, $\vee$, $\neg$ in both propositional and predicate logic.

Does this mean that everything we can use in propositional logic we can use in predicate logic? In other words, propositional logic $\subset$ predicate logic?

• "everything we can use in propositional logic we can use in predicate logic?" YES; in predicate logic, due to the availability of individual variables, predicate letters and quantifiers we have more "resources" to analyze statements: instead of atoms like $p,q$ etc, we have $Px, x=y, \forall x Qx, \exists x Rx$ that allow us to model mathematical theorems and theories. Dec 16, 2017 at 14:32
• Very pedantically speaking, one think propositional logic has that prediacte logic doesn't is propositional variables. But they're just placeholders anyway, and nullary predicates come quite close. Dec 16, 2017 at 14:36

Propositional logic studies what is logically true or implied on the basis of truth-functional operators ($\land$, $\lor$, $\neg$, etc)
Predicate logic studies what is logically true or implied on the basis of truth-functional operators ($\land$, $\lor$, $\neg$, etc) and predicates, and individual constants, and quantifiers (using variables).