Logiske koblinger er symboler som forbinder proposisjoner for å danne nye proposisjoner. De vanligste logiske forbindelsene er:

- Konjunksjon (∧) - Denne forbindelsen er også kjent som "og". Når to påstander er forbundet, er den resulterende påstanden sann hvis begge de opprinnelige påstandene er sanne, og ellers usann. For eksempel, "Himmelen er blå ∧ gresset er grønt" er sant bare hvis både himmelen er blå og gresset er grønt.

- Disjunksjon (∨) - Denne forbindelsen er også kjent som "eller". Når to påstander er usammenhengende, er den resulterende påstanden sann hvis en av de opprinnelige påstandene er sanne, og ellers usann. For eksempel, "Himmelen er blå ∨ gresset er grønt" er sant hvis enten himmelen er blå eller gresset er grønt.

- Negasjon (¬) - Denne koblingen er også kjent som "ikke". Når en proposisjon er negert, er den resulterende proposisjonen sann hvis den opprinnelige proposisjonen er usann, og ellers usann. For eksempel er "¬(himmelen er blå)" sant hvis himmelen ikke er blå.

- Implikasjon (→) - Denne koblingen er også kjent som "hvis-da". Når to påstander er implisert, er den resulterende påstanden sann hvis antecedenten (proposisjonen som kommer før implikasjonssymbolet) er usann eller den konsekvente (proposisjonen som kommer etter implikasjonssymbolet) er sann. For eksempel, "(himmelen er blå) → (gresset er grønt)" er sant hvis enten himmelen ikke er blå eller gresset er grønt.

- Ekvivalens (↔) - Denne koblingen er også kjent som "hvis og bare hvis". Når to påstander er likeverdige, er den resulterende påstanden sann hvis begge de opprinnelige påstandene er sanne eller begge de opprinnelige påstandene er usanne. For eksempel, "(himmelen er blå) ↔ (gresset er grønt)" er sant hvis enten både himmelen er blå og gresset er grønn eller himmelen ikke er blå og gresset ikke er grønt.

Det er også en rekke andre mindre vanlige logiske koblinger, for eksempel den eksklusive disjunksjonen (⊻) og Sheffer-streken (|).