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

Литералы рассуждения и вопрос об их отрицаниях. Математическая модель отрицания для рассуждения, содержащего связную совокупность суждений. Отрицания в математической логике и дополнения в алгебре множеств. Интерпретации формул математической логики.

03.09.2010 | Математическая логика | Математика | Язык: русский | Просмотры: 35