По качеству суждения делятся на утвердительные и отрицательные, Если в утвердительном суждении отображается тот факт, что данному предмету присуще некоторое свойство, то в отрицательном — тот факт, что данному предмету не присуще некоторое свойство. Соответственно, пропозиции могут совпадать по реляционной, т.е. предикатноаргументной структуре и различаться тем, что в одной из них эта структура находится в сфере действия семантического оператора утверждения, а в другой — в сфере действия оператора отрицания. Вспомним, что операторы — одна из логико-грамматических категорий семантических единиц, которые мы рассматривали в разделе 11.5.3. По сути, оператор -это одноместный предикат, единственное аргументное место которого заполняет другой предикат со своими аргументами. Оператор отрицания отражается в СемП предложения либо с помощью одного из символов, заимствованных из логики (->, ~), либо с помощью языкового показателя отрицания типа ‘не’. Оператор утверждения может обозначаться в явном виде, например, с помощью символа 1-, либо подразумеваться по умолчанию. Так, пропозиция предложения Петя спит имеет вид ‘спит (Петя)' или ‘Ь спит (Петя)’, а предложения Петя не спит — спит (Петя)'. Помимо утвержцения и отрицания для описания пропозиционального содержания предложения необходим ряд других операторов. В предыдущем разделе мы упоминали об операторе времени, ниже пойдет речь о некоторых модальных операторах.