Conjonction

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Un connecteur logique binaire (noté ∧) qui est vrai exactement lorsque les deux formules opérandes sont vraies ; représente le « et » logique en logique propositionnelle.