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

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

..

• незабываемое впечатление. ..

• незабываемый подвиг. ..

• абсолютно независимый. ..

• жутко незаметно. ..

Самостоятельность, суверенитет, автономия, суверенность, свобода. Самостийность, объективность, самосильность, самобытность, самоуправление, воля, чертнамнебратство, необусловленность, неподвластность, безотносительность, автономность, случайность, волюшка, вольность, неподверженность, изотропность, неподконтрольность. Ant. Зависимость, несамостоятельность. ..

Ж.Отвлеч. Сущ. По знач. Прил. Независимый.. ..

НЕЗАВИ́СИМОСТЬ -и. Ж.. ..

-и, ж. 1. См. Независимый. 2. Политическая самостоятельность, отсутствие подчинённости, суверенитет. Национальная н. Отстаивать свою н.. ..

Независимости, мн. Нет, ж. Отвлеч. Сущ. К независимый....Теперь, когда мы свергли капитализм, а власть у нас рабочая, - у нас есть отечество и мы будем отстаивать его независимость. Сталин. Полного счастья нет без полной независимости. Чрншвскй. Независимость положения. Независимость взглядов.. ..

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

-и, ж.. ..

(в логике и математике) — невыводимость предложения некоторой теории из данного множества ее предло­жений, напр. Из системы ее аксиом. Система аксиом называется независимой (неизбыточной), если каждая входящая в нее аксиома невыводима из других аксиом. Если какую-то аксиому можно вывести из остальных, ее можно исключить из списка ак­сиом, при этом исходная теория не изменится, класс доказуемых в ней предложений останется тем же.  . Зависимая система аксиом содержит лишние аксиомы и в этом см..