Logisk konstanter er de ord, der bliver tilbage, når man fra en sætning fjerner alle genstands- og relationsbetegnelser samt funktionsudtryk.

Faktaboks

Etymologi
Ordet konstant kommer af latin constans, afledt af constare 'stå fast, forblive uforandret'.

Eksempler på logiske konstanter er ¬ (negation, "ikke"), ∧ (konjunktion, "og") og ∨ (disjunktion, "eller"). Der er dog ikke fuld enighed blandt logikere om, hvad der bør tolkes som logiske konstanter.

Læs mere i Den Store Danske

Kommentarer

Kommentarer til artiklen bliver synlige for alle. Undlad at skrive følsomme oplysninger, for eksempel sundhedsoplysninger. Fagansvarlig eller redaktør svarer, når de kan.

Du skal være logget ind for at kommentere.

eller registrer dig