Entailment
لێکەوتنەوە
Proposed Kurdish term — under reviewزاراوەی پێشنیارکراو — لە ژێر پێداچوونەوەدایە Definitionپێناسە
KB ⊨ α means that α is true in every model in which the knowledge base is true: whenever the KB is true, α must be true too. (⊢ means something different: α can be proved.)
KB ⊨ α واتە α لە هەموو ئەو ڕاستە کە تێیاندا ڕاستە: هەر کاتێک KB ڕاست بێت، αیش دەبێت ڕاست بێت. (⊢ واتایەکی ترە: دەکرێت α بسەلمێنرێت.)
Exampleنموونە
KB: "All humans die" and "Aram is a human". The sentence "Aram dies" follows from this knowledge base.
KB: «هەموو مرۆڤەکان دەمرن» و «ئارام مرۆڤە». ڕستەی «ئارام دەمرێت» لەم دەکەوێتەوە.
Other Kurdish renderings in useوەرگێڕانە کوردییەکانی تر
لێکەوتنەوەکە، لێکەوتنەوەیەک، لێکەوتنەوەی، لێکەوتنەوەیەکی
Note on the Kurdish termتێبینی دەربارەی زاراوە کوردییەکە
لێکەوتنەوە (following from). The lesson corrects the owner's ⊢ to ⊨ (DECISIONS #6). Proposed.