Отрицания и антитезы в E-структурах - контрольная работа по математике

 

Тезисы:

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

 

 

Похожие работы:

Еще похожие работы

Предметы

Все предметы »

 

 

Актуальные контрольные работы по математике