Sats (logik)

Från Wikipedia

En sats eller en utsaga är inom logik och filosofi ett påstående som kan vara sant eller falskt i en viss tolkning. Satsen kan formuleras språkligt, eller uttryckas formellt matematiskt inom satslogik och predikatlogik.

Man skiljer vanligtvis mellan satsens språkliga form (det språkliga uttrycket, meningen, en. sentence, ty. Satz) och satsens tankeinnehåll (försanthållandet, en. proposition, ty. Urteil). En central fråga för filosofin är vad det egentligen innebär att en sats är "sann", och hur detta förhåller sig till de olika betydelserna av begreppet.[1]

Satser i predikatlogik[redigera | redigera wikitext]

I predikatlogik är satser välbildade formler som inte innehåller några obundna variabler.[2] En predikatlogisk sats uttrycker ett bestämt påstående som kan vara sant eller falskt beroende på hur den tolkas i den aktuella modellen. Formler får även innehålla obundna variabler. Satser kallas även slutna utsagor och uttrycker bestämda påståenden. Formler som inte är satser kallas även öppna utsagor.

Exempel[redigera | redigera wikitext]

F1: x är ett primtal
F2: 7 är ett primtal
F3: 5 + 7 = 12
F4: 5 + x = 12
F5: Alla primtal är udda 
F6: (x + y)(x - y) = x2 - y2

F1 – F6 ovan är exempel på utsagor som kan formaliseras i första ordningens predikatlogik. F2 och F3 är exempel på satser som båda är sanna (i "standardtolkningen" av de ingående termerna). Om F1 och F4 är sanna eller falska beror av vilket värde x tilldelas (de är öppna utsagor). Om till exempel x = 9 i F1, så är F1 falsk i standardtolkningen. F2 och F3 kallas instanser till F1 respektive F4. Även F5 är en sats. En predikatlogisk formalisering av den skulle innehålla en bunden variabel men inga obundna. F5 är falsk i standardtolkningen. F6 (även känd som "konjugatregeln") är ett exempel på en utsaga som inte är en sats utan en öppen utsaga. Visserligen kommer formeln få sanningsvärdet "sant" oavsett vilka värden x och y tilldelas (vi förutsätter att domänen är de reella talen), men F6 är trots det inte en sats eftersom den innehåller två obundna variabler.

Se även[redigera | redigera wikitext]

Referenser[redigera | redigera wikitext]

  1. ^ Wright, Georg Henrik von (1993). Logik, filosofi och språk: strömningar och gestalter i modern filosofi ([Ny utg.]). Nora: Nya Doxa. sid. 170. Libris 7769988. ISBN 91-88248-21-6 
  2. ^ Bennet, Christian. ”Första ordningens logik” (PDF). Göteborgs universitet. sid. 30. Arkiverad från originalet den 15 februari 2015. https://web.archive.org/web/20150215162532/http://gul.gu.se/public/pp/public_courses/course67422/published/1416925130729/resourceId/27991302/content/F%C3%B6rsta%20ordningens%20logik.pdf. Läst 18 februari 2015.