>[!abstract]
>Propositional logic is a branch of logic [that] deals with propositions (which can be true or false) and relations between propositions, including the construction of arguments based on them. Compound propositions are formed by connecting propositions by [[Propositional logic#Logical connectives|logical connectives]] representing the truth functions of conjunction, disjunction, implication, biconditional, and negation (Wikipedia, 2025).
>[!related]
>- **North** (upstream): [[Formal logic]] (the overarching field including propositional, predicate, and modal logics)
>- **West** (similar): [[Predicate logic]] (first-order logic, which extends propositional logic with quantifiers and variables)
>- **East** (different): [[Informal logic]] (reasoning based on natural language, rhetoric, and argumentation without strict symbolic formalism)
>- **South** (downstream): [[Truth tables]] (systematic method to evaluate the truth of compound propositions under all possible truth values)