>[!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)