Mall:Härledningsbegrepp

Från Wikipedia

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