Независимость (в логике)
Независимость в логике, свойство предложения некоторой теории или формулы некоторого исчисления, заключающееся в том, что ни само это предложение, ни его отрицание не выводятся из данной системы предложений (например, какой-либо системы аксиом.
Дополнительный поиск Независимость (в логике)
На нашем сайте Вы найдете значение "Независимость (в логике)" в словаре Большая Советская энциклопедия, подробное описание, примеры использования, словосочетания с выражением Независимость (в логике), различные варианты толкований, скрытый смысл.
Первая буква "Н". Общая длина 24 символа