نەرێ

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

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

$P$	$\mathrm{\neg }P$
دروست	زڕ
زڕ	دروست