Explore relationships

Logical operator

Symbol connecting formulas in logic Related conceptsPropositional calculusPredicate logicBoolean algebraTruth tableTruth functionBoolean functionFunctional completenessScope (logic) ApplicationsDigital logicProgramming languagesMathematical logicPhilosophy of logicHasse diagram of logical connectivesIn logic, a logical connective (also called a logical operator, sentential connective, or sentential operator) is an operator that combines or modifies one or more logical variables or formulas, similarly to how arithmetic connectives like +{\displaystyle +} and −{\displaystyle -} combine or negate arithmetic expressions.

Use + to expand a branch. Click a topic name to open its summary.