satsfunktion
satsfunktion, i logiken bl.a. detsamma som öppen sats, dvs. uttryck som innehåller fria variabler och som ger upphov till en sats när dessa ersätts av konstanter; termen används också om den abstrakta storhet som ett sådant uttryck tänks beteckna.
Jämför allkvantifikator och existenskvantifikator.
Källangivelse
Vill du komma åt hela artikeln?
Objektiv och pålitlig kunskap.
Prova det, du kommer att gilla det!
Marknadsledare i Sverige.