заперечення
В логіці унарний функтор, який є логічним відповідником заперечення в звичайній мові (ні, неправда, що); з., додане до певної назви (чи думки), створює нову назву (чи, відповідно, думку).
Універсальний словник-енциклопедіяВ логіці унарний функтор, який є логічним відповідником заперечення в звичайній мові (ні, неправда, що); з., додане до певної назви (чи думки), створює нову назву (чи, відповідно, думку).
Універсальний словник-енциклопедія