A mode of inference according to which whenever two formulae $\phi$ and $\psi$ are true, so is their conjunction $\phi \wedge \psi$. Formally, this inference may be represented as:

Although rare, deductive systems for which adjunction fails, such as discursive logic, exist and are known as non-adjunctive logics.