logisk konstant
Logisk konstanter er de ord, der bliver tilbage, når man fra en sætning fjerner alle genstands- og relationsbetegnelser samt funktionsudtryk. Eksempler på logiske konstanter er ¬ (negation, "ikke"), ∧ (konjunktion, "og") og ∨ (disjunktion, "eller"). Der er dog ikke fuld enighed blandt logikere