Fullständighet (teori)

Från Rilpedia

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

Inom matematisk logik sägs en teori T vara fullständig om för varje sluten formel kan avgöras i T.

Formell definition

Låt T vara en teori i ett språk S. T sägs vara fullständig om för varje sluten formel \phi\in S gäller antingen

T\vdash\phi eller T\vdash\neg\phi

Se även:

Hämtad från "https://sv.rilpedia.org/wiki/Fullst%C3%A4ndighet_(teori)"
Personliga verktyg