Sats
SUBSTANTIV
- den minsta grammatiska enhet som fullständigt kan uttrycka ett faktiskt föreliggande sakförhållande (och därmed måste innehålla ett predikat), som (ofta) ensam kan utgöra en korrekt mening
- ett formellt påstående som beskriver ett (förmodat) faktum; ett bevisat påstående
- (programmering) den minsta fristående enhet i ett imperativt (högnivå)programmeringsspråk som definierar en fullständig handling (ett kommando, en variabeltilldelning eller programflödesstyrande handling)