negacja
log. funktor jednoargumentowy, będący logicznym odpowiednikiem przeczenia w języku potocznym („nie”, „nieprawda, że”);
[łac. negatio ‘zaprzeczenie’, ‘odrzucenie’],
negacja
Encyklopedia PWN
negacja dołączona do danej nazwy (lub zdania) tworzy nową nazwę (lub odpowiednio — zdanie).
