--- aliases: [connective, connectives] --- #logic ## Definition > [!tldr] Definition > A **connective** refers to a logical operator that joins two [[propositions]] into a new proposition. The four major connectives are: [[Negation]], [[Conjunction]], [[Disjunction]], and [[Conditional statements|Implication]]. Notes: - Other connectives also exist but are less commonly used, including [[Exclusive OR]], [[Biconditional statement|if and only if]], and [NAND](https://en.wikipedia.org/wiki/NAND_gate). ## Resources <iframe title="vimeo-player" src="https://player.vimeo.com/video/585958504?h=0b7769f78c" width="640" height="360" frameborder="0" allowfullscreen></iframe>