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.
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.