E logico

Entrambe le affermazioni devono essere vere. In p ∧ q, l'affermazione complessiva è vera solo quando p e q sono entrambe vere. In tutti gli altri casi è falsa. I logici chiamano questa operazione congiunzione, e il simbolo è spesso detto cuneo.

Il cuneo fu stampato per la prima volta per la congiunzione nel 1930, in un articolo in cui il matematico olandese Arend Heyting formalizzò la logica intuizionista. La logica intuizionista è una versione della logica che accetta un'affermazione solo quando ne esiste una dimostrazione. I logici precedenti scrivevano la congiunzione in altri modi, per esempio con un punto o con &. ∧ è stata una scelta di notazione che si è affermata in seguito, senza sostituire ovunque le altre.

Oggi i manuali di logica e i corsi di informatica usano ∧ nelle tavole di verità e nelle formule. I linguaggi di programmazione usano soprattutto && o and, facili da digitare, e ogni linguaggio stabilisce le proprie regole di valutazione.