section_path: Systems of logic/Classical/Propositional logic
section_name: Propositional logic
paragraph_text: Propositional logic
  
  Propositional logic comprises formal systems in which formulae are built from atomic propositions using logical connectives. For instance, propositional logic represents the conjunction of two atomic propositions P {\displaystyle P} and Q {\displaystyle Q} as the complex formula P ∧ Q {\displaystyle P\land Q}. Unlike predicate logic where terms and predicates are the smallest units, propositional logic takes full propositions with truth values as its most basic component. Thus, propositional logics can only represent logical relationships that arise from the way complex propositions are built from simpler ones. But it cannot represent inferences that result from the inner structure of a proposition.