Koniunkcją nazywamy dwuargumentowe działanie logiczne które zdaniom p,qp,q przypisuje zdanie p∧qp\land q. Wynikowe zdanie jest prawdziwe wtedy i tylko wtedy, gdy oba zdania składowe mają wartość logiczną 11. Koniunkcję oznaczamy symbolem ∧\land i czytamy jako “i".