Foundational branch of logic dealing with propositions and logical connectives like AND, OR, NOT, IMPLIES, and BICONDITIONAL. Key concepts include validity and satisfiability, crucial for computer science and mathematics