Как называют утверждения составленные с помощью логической конструкции не А?

**Цель: Понять** Утверждения, составленные с помощью логической конструкции "не А", называются отрицаниями (negations). В логике, если у нас есть утверждение A, то "не А" будет противоположным утверждением. Например, если у нас есть утверждение "Сегодня солнечно", то отрицание этого утверждения будет "Сегодня не солнечно". Таким образом, отрицание - это логическая операция, которая инвертирует исходное утверждение.