: of, relating to, or being a logical combinatorial system (such as Boolean algebra) that represents symbolically relationships (such as those implied by the logical operators AND, OR, and NOT) between entities (such as sets, propositions, or on-off computer circuit elements)