یاسای ناوەڕاستی وەدەرنراو
لە لۆژیکدا، یاسای ناوەڕاستی وەدەرنراو (law of excluded middle) دەڵێ ھەموو قەزیەیەک، یا خۆی دروستە یا نەرێکراوەکەی. یانی ھیچ قەزیەیەکی دروستی «ناوەڕاستی» لە نێوانیاندا نییە. ئەم یاسایە وێڕای یاسای ناتەبایی و یاسای ھەرئەوەبوون، سێ یاسای ناسراو بە یاساکانی بیرکردنەوە پێک دێنن.

نابێ یاساکە لە جێی بنەواشەی دووبایەخیبووندا، کە دەڵێ ھەموو قەزیەیەک یا دروستە یا زڕە، دابنرێ. بنەواشەی دووبایەخیبوون ھەمیشە یاسای ناوەڕاستی وەدەرنراو بە دووی خۆیدا دێنێ، بەڵام پێچەوانەکەی ھەمیشە دروست نییە. بۆ وێنە، ڕاست یا درۆی وتەیەک کە لەبارەی داھاتووەوە شتێک ڕادەگەیێنێ، ئێستا نادیارە و شیاوی سەلماندن نییە، بەڵام، کە کاتی گەیشت، ڕاست یا درۆی دەردەکەوێ. یانی لە کاتی ئێستادا، بۆ ئەو وتەیە، یاسای ناوەڕاستی وەدەرنراو بەکارە، بەڵام بنەواشەی دووبایەخیبوون پەکیەتی.

سەرچاوەکان 

لۆژیک
تیۆرمە ماتماتیکییەکان