Innehållsförteckning
6 relationer: Författare, Fullständighet (logik), Härledningsbegrepp, Mening (betydelse), Sanning, Sanningsvärdetabell.
Författare
Ett porträtt av Nicolas Boileau (1704). En författare (om kvinnor även författarinna) är en person som, egenhändigt eller genom "spökskrivare" skriver texter, såsom romaner, noveller och artiklar.
Fullständighet (logik)
Ett axiomatiskt uppbyggt system eller ett formellt system är fullständigt, om allt det, som man önskar skall vara ett teorem i systemet också är ett teorem.
Se Sundhet och Fullständighet (logik)
Härledningsbegrepp
Härledningsbegrepp är begrepp inom metalogik och bevisteori, vilka används för att beskriva formlers inbördes relationer.
Se Sundhet och Härledningsbegrepp
Mening (betydelse)
Mening är inom filosofi och logik ett begrepp med flera olika närliggande användningsområden.
Se Sundhet och Mening (betydelse)
Sanning
Bocca della Verità ("Sanningens mun"), som enligt medeltida sägner biter av handen på den som ljuger. Sanning är enligt vanligt tänkesätt en uppfattnings överensstämmelse med dess föremål, eller yttrande eller tanke som överensstämmer med verkligheten.
Sanningsvärdetabell
Sanningsvärdetabell är en teknik inom logiken utvecklad av Charles Peirce på 1880-talet för att analysera och bestämma ett logiskt uttrycks sanningsvärde.
Se Sundhet och Sanningsvärdetabell
Även känd som Sunt.

