Huvudsida
Slumpartikel
I närheten
Logga in
Inställningar
Stöd Wikipedia
Om Wikipedia
Förbehåll
Sök
Mall
:
Härledningsbegrepp
Mall
Diskussion
Läs på ett annat språk
Bevaka
Redigera
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