بۆ ناوەڕۆک بازبدە

ئەگەر و تەنیا ئەگەر

لە ئینسایکڵۆپیدیای ئازادی ویکیپیدیاوە

لە لۆژیک و بوارگەلی پەیوەندیدار وەکوو ماتماتیکدا، مەبەست لە «ئەگەر و تەنیا ئەگەر» ھەمان ھاوسەنگیی لۆژیکیی نێوان قەزیەکانە. ھاوسەنگیی قەزیەکان تەنیا لە دوو حاڵەتدا ڕاستە: ھەر دوو قەزیەکە ڕاست بن، یا ھەر دوو قەزیەکە درۆ بن. کە دەوترێ P ئەگەر و تەنیا ئەگەر Q، یانی ئەگەر P ڕاست بێ ئەوسا Qش ڕاستە و، ئەگەر Q ڕاست بوو ئەوسا P ڕاستە. ئەگەریش P درۆ بێ ئەوسا Qش درۆیە و، ئەگەر Q درۆ بوو ئەوسا Pش درۆیە. بە زمانێکی تر، P و Q ھاوسەنگی یەکترن.

سەرچاوەکان

[دەستکاری]