järeldatavus
Järeldatavus (derivability) on mõiste, mida kasutakse matemaatilises loogikas ja formaalsete süsteemide uurimisel. See kirjeldab omadust, et lause või formula on võimalik järeldada antud premisesidest, kasutades kehtestatud tõendussüsteemi või tõendireegleid.
Formaalselt tähendab see, et kui T on teooria ja φ lause, siis φ on järeldatav T-st, kui on
Eristas kantud semantiline järeldatavus ehk semantiline järelmõju: T |= φ, mis tähendab, et φ on tõene kõigis T mudelites.
Seosed ja olulisus: järeldatavus on alus matemaatilises loogikas ja formaalsetes teooriates, mis lubab kontrollida, kas väited
Näited: Proportsionaalne loogika näites võib lause Q järeldadagehendest lausetest P ja (P → Q) Modus Ponensiga. Aritmeetikas