Sats (logik)

Från Rilpedia

Hoppa till: navigering, sök
Wikipedia_letter_w.pngTexten från svenska WikipediaWikipedialogo_12pt.gif
rpsv.header.diskuteraikon2.gif

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.


Personliga verktyg