Sats (logik)

En sats i ett logiskt språk (till exempel predikatlogik) är en utsaga som inte innehåller några obundna variabler. En sats uttrycker ett bestämt påstående som kan vara sant eller falskt beroende på hur den tolkas i den aktuella modellen. Ett mer generellt begrepp är formel. Formler får även innehålla obundna variabler. Satser kallas även slutna utsagor, formler som inte är satser kallas även öppna utsagor.