Отрицания и антитезы в E-структурах

Чтобы избежать этой неоднозначности, будем различать отрицания и антитезы.Когда речь идет о литералах рассуждения, то вопрос об их отрицаниях особых сложностей не вызывает.Рассмотрим сначала, как решается вопрос с отрицаниями в математической логике.Из них, в частности, следует, что для любой формулы может быть только одно отрицание.При переходе к E-структурам возникает проблема соответствующей интерпретации.На самом деле в этом случае отрицанием будет не одно, а некоторое множество суждений.С точки зрения алгебры множеств антитеза имеет следующие свойства.В то же время строгим отрицанием отношения меньше является отношение больше или равно.В то же время с точки зрения математической логики они не являются их отрицаниями.Это же следствие можно легко получить и с помощью E-структур.