A logikai tagadás, más néven a negáció logikai művelet fogalma és tulajdonságai.  Definíció: A negáció egy kijelentés tagadása. Jele: ¬. Jelöljön P egy logikai állítást. A ¬P állítás logikai értéke csak akkor igaz, ha P állítás logikai értéke hamis. A negáció művelet igazságtáblázata: P ¬P i h h i Megjegyzés: ATovább