w logice funktor jednoargumentowy, będący odpowiednikiem przeczenia w języku potocznym ("nie"; "nieprawda, że"); "nie p", jest zdaniem prawdziwym zawsze i tylko wtedy, gdy "p" jest fałszywe, np. "nieprawda, że 2 razy 2 jest pięć"; n. w języku potocznym może oznaczać samą czynność negowania czy zaprzeczania.
LOGIKA FORMALNA, PODWÓJNEGO PRZECZENIA ZASADA, ZDAŃ RACHUNEK
- negacja, ( logical NOT , negation...
- uzupelnienie, (negacja slowa, complement...
- KONTESTACJA, SYNONIM: opór, bunt,...