It only deals with facts, and statements that may or may not true of the world.

Propositional Logic in general has no predicate and function symbols as well as quantifiers.

It is widely used in making rules of inference and decision making.

Propositional Logic is much more expressive than First-Order Logic.

Like Boolean Logic, Propositional Logic typically has no meaning attached to it.