Logiske forbindelser er symboler, der forbinder propositioner for at danne nye propositioner. De mest almindelige logiske forbindelser er:

- Konjunktion (∧) - Denne forbindelse er også kendt som "og". Når to påstande er forbundet, er den resulterende påstand sand, hvis begge de oprindelige påstande er sande, og ellers falsk. For eksempel, "himlen er blå ∧ græsset er grønt" er kun sandt, hvis både himlen er blå og græsset er grønt.

- Dijunktion (∨) - Denne forbindelse er også kendt som "eller". Når to påstande er adskilte, er den resulterende påstand sand, hvis en af ​​de oprindelige påstande er sande, og ellers falsk. For eksempel, "Himlen er blå ∨ græsset er grønt" er sandt, hvis enten himlen er blå, eller græsset er grønt.

- Negation (¬) - Denne forbindelse er også kendt som "ikke". Når en proposition er negeret, er den resulterende proposition sand, hvis den oprindelige proposition er falsk, og ellers falsk. For eksempel er "¬(himlen er blå)" sandt, hvis himlen ikke er blå.

- Konsekvens (→) - Denne forbindelse er også kendt som "hvis-så". Når to påstande er implicerede, er den resulterende påstand sand, hvis antecedenten (den påstand, der kommer før implikationssymbolet) er falsk, eller den konsekvente (påstanden, der kommer efter implikationssymbolet) er sand. For eksempel, "(himlen er blå) → (græsset er grønt)" er sandt, hvis enten himlen ikke er blå, eller græsset er grønt.

- Ækvivalens (↔) - Denne forbindelse er også kendt som "hvis og kun hvis". Når to påstande er ækvivalente, er den resulterende påstand sand, hvis begge de oprindelige påstande er sande, eller begge de oprindelige påstande er falske. For eksempel, "(himlen er blå) ↔ (græsset er grønt)" er sandt, hvis enten både himlen er blå og græsset er grønt eller både himlen ikke er blå og græsset ikke er grønt.

Der er også en række andre mindre almindelige logiske forbindelser, såsom den eksklusive disjunktion (⊻) og Sheffer-stregen (|).