Resolution
No established Kurdish equivalent yetهێشتا هاوتای کوردیی جێگیر نییە
No established Kurdish equivalent yetهێشتا هاوتای کوردیی جێگیر نییە Definitionپێناسە
An inference rule: from P ∨ Q and ¬P ∨ R conclude Q ∨ R. Used again and again, it can prove any sentence that a knowledge base entails.
: لە P ∨ Q و ¬P ∨ R دەگەینە Q ∨ R. ئەگەر دووبارە و دووبارە بەکار بهێنرێت، دەتوانێت هەر ڕستەیەک بسەلمێنێت کە لە دەکەوێتەوە.
Exampleنموونە
From "It is raining or snowing" and "It is not raining", resolution concludes "It is snowing".
لە «باران یان بەفر دەبارێت» و «باران نابارێت»ەوە، دەگاتە «بەفر دەبارێت».
Note on the Kurdish termتێبینی دەربارەی زاراوە کوردییەکە
Taught only in brief (supplement ai.lab.x07). No Kurdish source has a term, so ckb is null; a possible Sorani rendering for review is «یەکلاکردنەوە».