Konsekvens (logik)

Härledningsbegrepp
	Medför - Följer av; Bevis – Bevisbarhet; Giltig - Giltighet; Sund - Sundhet; Konsekvent - Konsekvens; Fullständig – Fullständighet; Teorem; Tautologi; Kontradiktion; Konträra satser; Deduktion - Härledbarhet;
Närliggande begrepp
	Implikation; Logisk sanning; Sanning; Motsägelse;
	Denna tabell: visa • redigera

Den utskrivbara versionen stöds inte längre och kanske innehåller renderingsfel. Uppdatera din webbläsares bokmärken och använd standardutskriftsfunktionen istället.

En konsekvens är en slutsats, dragen med stöd av en eller flera premisser. I ett formellt system sägs ett påstående vara en satslogisk konsekvens av ett antal premisser, om och endast om det tautologt impliceras av dessa.

I ett formellt system är ett uttryck A, en syntaktisk konsekvens av en mängd premisser om och endast om det finns en härledning av A från premissmängden.

I ett formellt språk P är ett uttryck B, en semantisk konsekvens av ett antal formler Γ, om och endast om det inte finns någon tolkning av P, sådan att varje formel i Γ är sann och B falsk. En tolkning av ett formellt språk är en tilldelning av betydelser till dess symboler och formler.

Se även

Källor

Geoffrey Hunter, Metalogic, An Introduction to the Metatheory of Standard First-Order Logic, MacMillan, London 1969.
Georg Henrik von Wright, Logik, filosofi och språk, Berlingska Lund 1957.
G. Hermerén, Logik, Studentlitteratur Lund 1967.
Dag Prawitz, Filosofiska Studier, Logikens språk och grundbegrepp, Uppsala Universitet 1975.