Logische en

Het betekent ‘p en q’: alleen waar als beide waar zijn. Dat heet conjunctie. De waarheidstabel heeft vier rijen en alleen waar ∧ waar levert waar op. De omgekeerde partner ∨ betekent OF, en meestal staan ze samen met ¬ (NIET).

De wig is een vrij jong teken. Vroeger schreef men conjunctie met een punt, met & of door letters naast elkaar te zetten. Het gebruik als EN wordt meestal toegeschreven aan de Nederlandse wiskundige Arend Heyting, in zijn artikel uit 1930 over intuïtionistische logica (een strenge logica die alleen bewijsbare uitspraken aanvaardt). Nu is ∧ de standaard in leerboeken, al komen & en de punt nog voor.

In code typt bijna niemand ∧: de meeste talen gebruiken && of het woord and. De wig hoort bij de wiskunde rond de code: specificaties, bewijzen, syllabi.

Waarom duikt ∧ ook buiten de logica op?

De wiskunde gebruikt de wig voor nog twee manieren van combineren. Tussen vectoren of differentiaalvormen is u ∧ v het wigproduct (uitwendig product), dat in het vlak de georiënteerde oppervlakte van twee vectoren meet. Tussen elementen van een geordende verzameling is a ∧ b het infimum: het grootste element onder allebei, bij getallen gewoon het kleinste. Met waar boven onwaar is het infimum van twee waarheidswaarden precies EN, vandaar één teken voor beide.