Sats (logik)

Från Wikipedia
Hoppa till: navigering, sök

En sats i ett logiskt språk (till exempel predikatlogik) är en utsaga som inte innehåller några fria 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.

Se även[redigera | redigera wikitext]