Logische verbindingen zijn symbolen die proposities verbinden om nieuwe proposities te vormen. De meest voorkomende logische verbindingen zijn:
- Combinatie (∧) - Deze verbindingsvorm staat ook bekend als "en". Wanneer twee proposities worden samengevoegd, is de resulterende propositie waar als beide oorspronkelijke proposities waar zijn, en anders onwaar. 'De lucht is blauw ∧ het gras is groen' is bijvoorbeeld alleen waar als zowel de lucht blauw als het gras groen is.
- Disjunctie (∨) - Deze verbindingsvorm staat ook bekend als "of". Wanneer twee proposities niet met elkaar zijn verbonden, is de resulterende propositie waar als een van de oorspronkelijke proposities waar is, en anders onwaar. 'De lucht is blauw ∨ het gras is groen' is bijvoorbeeld waar als de lucht blauw is of het gras groen.
- Negatie (¬) - Deze verbinding wordt ook wel "niet" genoemd. Wanneer een propositie wordt ontkend, is de resulterende propositie waar als de oorspronkelijke propositie onwaar is, en anders onwaar. Bijvoorbeeld:"¬(de lucht is blauw)" is waar als de lucht niet blauw is.
- Implicatie (→) - Deze verbinding staat ook bekend als "als-dan". Wanneer twee proposities betrokken zijn, is de resulterende propositie waar als de antecedent (de propositie die vóór het implicatiesymbool komt) onwaar is of de consequente (de propositie die na het implicatiesymbool komt) waar is. Bijvoorbeeld:"(de lucht is blauw) → (het gras is groen)" is waar als de lucht niet blauw is of als het gras groen is.
- Equivalentie (↔) - Deze verbinding staat ook bekend als "als en slechts als". Wanneer twee proposities gelijkwaardig zijn, is de resulterende propositie waar als beide oorspronkelijke proposities waar zijn of beide originele proposities onwaar zijn. Bijvoorbeeld:"(de lucht is blauw) ↔ (het gras is groen)" is waar als zowel de lucht blauw is als het gras groen is, of als de lucht niet blauw is en het gras niet groen.
Er zijn ook een aantal andere, minder vaak voorkomende logische verbindingen, zoals de exclusieve disjunctie (⊻) en de Sheffer-slag (|). |