Öppna huvudmenyn

Sundhet är ett härledningsbegrepp. Ett deduktivt system S är sunt för språket L om och endast om implicerar , det vill säga om inga ogiltiga argument kan härledas.

Härledningsbegrepp
Närliggande begrepp

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änkarRedigera