Независимость (в логике)

58

Независимость в логике, свойство предложения некоторой теории или формулы некоторого исчисления, заключающееся в том, что ни само это предложение, ни его отрицание не выводятся из данной системы предложений (например, какой-либо системы аксиом.

Значения в других словарях
Независимая социал-демократическая партия Германии

(НСДПГ. Unabhangige Sozialdemokratische Partei Deutchlands, USPD) образовалась в апреле 1917 на базе левого крыла германской социал-демократии, отколовшегося от Социал-демократической партии Германии (См. Социал-демократическая партия Германии) (СДПГ) ввиду несогласия с политикой «классового мира». Во главе новой партии стали, однако, оппортунисты центристского толка (Г. Гаазе, К. Каутский и др.). В период Ноябрьской революции 1918 (См. Ноябрьская революция 1918) правые вожди НСДПГ, на словах вы..

Независимость

IНезави́симость в логике, свойство предложения некоторой теории или формулы некоторого исчисления, заключающееся в том, что ни само это предложение, ни его отрицание не выводятся из данной системы предложений (например, какой-либо системы аксиом (См. Аксиома)) или соответственно из конъюнкции данных формул. Н. Какого-либо предложения от данной системы аксиом может быть установлена посредством доказательств непротиворечивости (См. Непротиворечивость) двух систем аксиом, получаемых соответствующим..

Независимость (в теории вероятностей)

Независимость в теории вероятностей, одно из важнейших понятий этой теории. В качестве примера можно привести определение Н. Двух случайных событий. Пусть А и В ‒ два случайных события, а Р (А) и Р (В) ‒ их вероятности. Условную вероятность Р (В|А) события В при условии осуществления события А определяют формулой:где Р (А и В) ‒ вероятность совместного осуществления событий А и В. Событие В называется независимым от события А, еслиР (В|А) = Р (В). (*) Равенство (*) может быть записано в виде, си..

Независимость судей

один из демократических конституционных принципов социалистического правосудия, означающий, что при вынесении решения (приговора, определения, постановления) судьи не связаны никакими соображениями, посторонними правосудию, и обязаны руководствоваться только законом в соответствии с их социалистическим правосознанием (см., например, Конституция СССР, ст. 112). Организационное построение судебной системы социалистических государств исключает какое-либо влияние со стороны любого вышестоящего (суд..

Дополнительный поиск Независимость (в логике) Независимость (в логике)

Добавить комментарий
Комментарии
Комментариев пока нет

На нашем сайте Вы найдете значение "Независимость (в логике)" в словаре Большая Советская энциклопедия, подробное описание, примеры использования, словосочетания с выражением Независимость (в логике), различные варианты толкований, скрытый смысл.

Первая буква "Н". Общая длина 24 символа