Аксиома сводимости
Аксиома сводимости Статья обсуждает проблемы аксиомы сводимости в математике и философии. Аксиома сводимости вызывает парадоксы и трудности в обработке иррациональных […]
Вики
Concepts in logic
Вики
Каноническая форма
Каноническая форма Нормальная форма – это форма выражения, которая может быть получена из других форм с помощью определенных правил. Нормальная
Вики
Необходимость и достаточность
Необходимость и достаточность Необходимые и достаточные условия используются в логике для определения связи между двумя утверждениями. Условное выражение “если S,
Вики
Сет (математика)
Множество (математика) Множество – это совокупность определенных, отчетливых объектов, называемых элементами. Два набора равны, если они содержат одинаковые элементы. Мультимножества