Литералы рассуждения и вопрос об их отрицаниях. Математическая модель отрицания для рассуждения, содержащего связную совокупность суждений. Отрицания в математической логике и дополнения в алгебре множеств. Интерпретации формул математической логики.
Аннотация к работе
Отрицания и антитезы в E-структурах Когда речь идет о литералах рассуждения, то вопрос об их отрицаниях особых сложностей не вызывает. Если мы говорим «Не A» или «Невозможно A», где A является литералом, то подразумеваем дополнение соответствующего множества A в некотором универсуме. Важно то, что весь разнообразный и необозримый набор синтаксически правильных предложений, выраженных на языке математической логики, можно представить как множество формул.