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.