Заперечення можна застосовувати лише до висловлювань, які містять числові значення

Заперечення простого висловлювання утворює складене висловлювання, істинність якого протилежна істинності початкового

Заперечення простого висловлювання не може бути висловлюванням

Заперечення завжди утворює два незалежні прості висловлювання

Заперечення не змінює значення істинності початкового висловлювання