Proposizio bakun batzuk lotu eta proposizio konposatua eratzeko erabiltzen den ikur logikoa. Konektatzaile logiko nagusiak hauek dira: a) ezeztapena (¬); b) inplikazioa (→); c) konjuntzioa (∧); d) disjuntzioa (∨); eta e) baliokidetasuna (≡).