Az állítás negációja (vagy tagadása) egy egyváltozós művelet. Egy $A$ kijelentés negációja az a kijelentés, amely akkor igaz, ha $A$ hamis és akkor hamis, ha $A$ igaz. Megnézem az erről a képletről szóló tananyagot Ezt a képletet még az alábbi kurzusainkban is megtalálod: Diszkrét matematika / Matematikai logika, ítéletkalkulus / Matematikai logika bevezető, a kvantorok. Középiskolai matek / Bizonyítási módszerek, matematikai logika / Matematikai logika és a kvantorok. Hogy mik? Emelt szintű matek érettségi / Bizonyítási módszerek, matematikai logika / Matematikai logika és a kvantorok. Hogy mik? Középszintű matek érettségi / Bizonyítási módszerek, matematikai logika / Matematikai logika és a kvantorok. Hogy mik?