>[!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. ("Propositional calculus", 2025). ## References - Propositional calculus. (2025, January 13). In *Wikipedia*. https://en.wikipedia.org/w/index.php?title=Propositional_calculus&oldid=1264015824