What is the meaning of Propositional_logic?

A formal deductive system in which formulae representing propositions can be formed by combining atomic propositions using logical connectives.

Source: wiktionary.org