Inference rule
یاسای دەرەنجامگیری
Proposed Kurdish term — under reviewزاراوەی پێشنیارکراو — لە ژێر پێداچوونەوەدایە Definitionپێناسە
A fixed pattern that always gives true conclusions from true premises, for example modus ponens: from P → Q and P, conclude Q.
شێوەیەکی جێگیرە کە هەمیشە لە پێشەکیی ڕاستەوە دەرەنجامی ڕاست دەدات، بۆ نموونە modus ponens: لە P → Q و P، Q دەردەهێنرێت.
Exampleنموونە
From "If Aram studies, he passes" and "Aram studies", modus ponens gives "Aram passes".
لە «ئەگەر ئارام بخوێنێت، دەردەچێت» و «ئارام دەخوێنێت»ەوە، modus ponens دەگاتە «ئارام دەردەچێت».
Other Kurdish renderings in useوەرگێڕانە کوردییەکانی تر
یاسای دەرەنجامگیرییەکە، یاساکانی دەرەنجامگیری، یاسایەکی دەرەنجامگیری، یاسای دەرەنجامگیریی، یاساکانی دەرەنجامگیریی، یاسایەکی دەرەنجامگیریی
Note on the Kurdish termتێبینی دەربارەی زاراوە کوردییەکە
یاسا (rule), the owner's word, + inference. Only in supplement ai.lab.x07. Proposed.