Sats (logik)

Från Rilpedia

Version från den 12 april 2008 kl. 15.08 av Strangnet (Diskussion)
(skillnad) ← Äldre version | Nuvarande version (skillnad) | Nyare version → (skillnad)
Hoppa till: navigering, sök
Wikipedia_letter_w.pngTexten från svenska WikipediaWikipedialogo_12pt.gif
rpsv.header.diskuteraikon2.gif
icon_anmal.gif
rp-wp-sv.gif
Merge-arrow.svg
 En eller flera användare anser att denna text bör infogas i Satslogik. (Diskussion)

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.


AND ANSI.svg Denna artikel om logik är bara påbörjad. Du kan hjälpa till genom att utöka den.
Hämtad från "https://sv.rilpedia.org/wiki/Sats_(logik)"
Personliga verktyg