نەرێ

لە لۆژیکدا، نەرێ یەکێ لە ئامرازەکانە. ئەگەر قەزیەیەکی پێ بدەی، نەرێنیی دەکاتەوە، ئەگەر P بگرێ دەیکا بە not P. نەرێ بە شێوەی $\neg P$ یا ${\mathord {\sim }}P$ یا ${\overline {P}}$ دەنووسرێ. نەرێی ھەموو قەزیەک درۆیە ئەگەر قەزیەکە ڕاست و، ڕاستە ئەگەر قەزیەکە درۆ بێ. کەوایە، نەرێکردن پەیوەندیدەرێکی یەکانییە کە وکوو کردەوەیەک دەکرێ لەسەر تێگەیشتەکان و قەزیەکان و بایەخەکانی ڕاستی و ڕاڤەکاندا بە کار ببردرێ.

خشتەی دروستیی نەرێکردن ئاوەھایە:

$P$	$\neg P$
دروست	زڕ
زڕ	دروست