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

Большая Советская Энциклопедия. Статьи для написания рефератов, курсовых работ, научные статьи, биографии, очерки, аннотации, описания.


А Б В Г Д Е Ё Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ъ Ы Ь Э Ю Я 1 2 3 4 8 A L M P S T X
НА НГ НД НЕ НЁ НЗ НИ НК НО НР НС НУ НЧ НЫ НЬ НЭ НЮ НЯ
НЕА
НЕБ
НЕВ
НЕГ
НЕД
НЕЕ
НЕЖ
НЕЗ
НЕИ
НЕЙ
НЕК
НЕЛ
НЕМ
НЕН
НЕО
НЕП
НЕР
НЕС
НЕТ
НЕУ
НЕФ
НЕХ
НЕЧ
НЕШ
НЕЯ

Независимость в логике, свойство предложения некоторой теории или формулы некоторого исчисления, заключающееся в том, что ни само это предложение, ни его отрицание не выводятся из данной системы предложений (например, какой-либо системы аксиом) или соответственно из конъюнкции данных формул. Независимость (в логике) какого-либо предложения от данной системы аксиом может быть установлена посредством доказательств непротиворечивости двух систем аксиом, получаемых соответствующим присоединением данного предложения и его отрицания к рассматриваемой системе аксиом. С Независимость (в логике) связано также свойство дедуктивной полноты (см. Полнота в логике) аксиоматических теорий: если непротиворечивая система аксиом дедуктивно полна, то присоединение к ней в качестве аксиомы любого независимого от неё предложения данной теории приводит к противоречию. Когда речь идёт о Независимость (в логике) содержательно формулируемых предложений, «выводимость» понимается в интуитивном смысле, «в соответствии с законами логики»; при рассмотрении же формальных исчислений всегда фиксируются строго определённые правила вывода (по отношению к которым также можно ставить вопрос о Независимость (в логике)).

  Аналогично описанной выше «дедуктивной» Независимость (в логике) можно говорить о Независимость (в логике) «выразительной», называя понятие (термин) независимым от данной системы понятий (терминов), если оно не может быть определено лишь с их помощью (опять-таки, как и выше, здесь предполагается фиксация некоторой совокупности правил определения, относительно которых можно ставить проблему Независимость (в логике)). Термин «Независимость (в логике)» (в обоих упомянутых смыслах) применяется, наконец, и к совокупностям предложений (формул) или понятий (терминов): совокупность называется независимой (а также неизбыточной, или минимальной), если каждый из её членов независим от остальных в определённом выше смысле. Ряд важнейших результатов о Независимость (в логике) получен в аксиоматической теории множеств и в математической логике.

 

  Лит. см. при ст. Аксиоматический метод.

  Ю. А. Гастев.

 

 

Так же Вы можете узнать о...


Валовая прибыль в социалистических странах, форма проявления чистого дохода, стоимостное выражение общего финансового результата деятельности предприятия, то есть денежное выражение той части выручки предприятия, которая остаётся у него за вычетом всех расходов.
Гамма-метод, геофизический метод разведки полезных ископаемых по радиоактивному излучению горных пород.
Дагоберт I (Dagobert) (около 605 — 19.1.639, аббатство Сен-Дени, близ Парижа), франкский король с 629, сын Хлотаря II, последний представитель династии Меровингов, обладавший реальной властью.
Жиар Альфред Матье Жиар (Giard) Альфред Матье (8.8.1846, Валансьенн, — 8.
Казанский авиационный институт, готовит инженеров для авиационной, приборостроительной, радиоэлектронной и машиностроительной промышленности.
Колонцифра, порядковый номер страницы книги, журнала, газеты и т.
Лайка, кожа, выделываемая главным образом из шкур овец и коз; обладает большой тягучестью и пластичностью, применяется для изготовления перчаток, верха обуви, протезов и др.
Маркова цепь, понятие теории вероятностей, возникшее из работ русского математика А.
Мухаммед-Рахим (г. рождения неизвестен — умер 1758), эмир бухарский.
Оптический институт им. С. И. Вавилова государственный (ГОИ), научно-исследовательское учреждение, в котором ведутся работы в области оптики и её технического применений.
Повторные посевы, 1) вторичные посевы с.-х. растений на поле после уборки урожая основной культуры, дают урожай в этом же году.
Рассеянных элементов руды, природные минеральные образования, содержащие рассеянные элементы в таких соединениях и концентрациях, при которых целесообразно их извлечение при современном развитии технологии и экономики.
Селькупский язык, язык селькупов. Распространён в междуречье Оби и Енисея.
Стефан Воевода, вождь крестьянского восстания в Молдавии в 1566, по прозвищу Мызга, принявший имя Стефан.