sats, centralt men mångtydigt begrepp inom logiken: a) språkligt uttryck som utsäger att något är fallet, t.ex. ”det regnar”; b) påstående, proposition, abstrakt begrepp som fyller rollen av meningen hos den språkliga satsen (den språkliga satsen ”det regnar” uttrycker t.ex. den abstrakta satsen att det regnar); c) fällt omdöme eller bevisat teorem, ”lärosats”, t.ex. Pythagoras sats.