Sundhet

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

Sundhet är ett härledningsbegrepp. Ett deduktivt system S är sunt för språket L om och endast om $A\vdash _{S}B$ implicerar $A\models _{L}B$ , det vill säga om inga ogiltiga argument kan härledas.

Begreppet "semantisk giltighet" definieras på skilda sätt hos hos olika författare. Vissa anser att en härledning med hjälp av sanningstabeller (det vill säga mening) skapar semantisk giltighet, andra att det är sanningen hos A och B som avgör semantisk giltighet. Därmed blir även begreppen "fullständighet" och "sundhet" oprecisa.

Externa länkar redigera

Slå upp sundhet, sund eller sunt i ordlistan Wiktionary.
Ordbok