выполнимость
41ВЫПОЛНИМЫЙ — ВЫПОЛНИМЫЙ, ая, ое; им. Возможный для исполнения. Выполнимое требование. | сущ. выполнимость, и, жен. Толковый словарь Ожегова. С.И. Ожегов, Н.Ю. Шведова. 1949 1992 …
42ДЕОНТИЧЕСКАЯ ЛОГИКА — (от греч. deon должное, правильное), или Логика норм, нормативная логика раздел логики, исследующий логическую структуру и логические связи нормативных высказываний (норм). Анализируя рассуждения, посылками или заключениями которых служат такие… …
43МЕТАЛОГИКА — раздел логики, в котором изучаются логические исчисления и формализованные логические теории. В рамках данного раздела изучаются все те универсальные отношения, которые могут иметь место между смысловыми значениями символов того или иного языка;… …
44МЕТАЯЗЫК — (от греч. meta после, за, позади) язык, средствами которого исследуются и описываются свойства языка, называемого предметным, или объектным. Напр., когда мы начинаем изучать иностранный язык, знакомиться с его лексикой, с его грамматической… …
45НЕПРОТИВОРЕЧИВОСТЬ — отсутствие в системе идей логического противоречия, т.е. некоторого утверждения и его отрицания. Н. постулируется логическим противоречия законом и входит в ядро тех требований, которые предъявляются к рациональному мышлению (см. РАЦИОНАЛЬНОСТЬ ) …
46ОТНОШЕНИЕ — в логике то, что в отличие от свойства характеризует не отдельный предмет, а пару, тройку и т.д. предметов. Традиционная логика не рассматривала О.; в современной логике О. пропозициональная функция от двух или большего числа переменных. Бинарным …
47ДИСПОЗИЦИОНАЛЬНЫЙ ПРЕДИКАТ — (от лат. dispositio – расположение) – предикат, выражающий предрасположение (диспозицию) предмета реагировать определ. образом в определ. ситуации, напр. растворимый (при опускании в воду растворяется), упругий (после деформации принимает… …
48ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — общее название исчислений математической логики, являющихся формализацией тех разделов совр. логики, к рые изучают субъектно предикатную структуру предложений (высказываний), понимаемую в более широком, чем в традиц. логике, смысле: помимо теории …
49СИММЕТРИЧНОСТЬ — (в математике и л о г и к е) – свойство бинарных (двуместных, двучленных) отношений. Отношение R, определенное на нек ром множестве (классе), наз. симметричным, если для любых x и у– элементов этого множества – из того, что x находится в… …
50ДЗЕТА-ФУНКЦИЯ — z ф у нкция, 1) Д. ф. в теории чисел класс аналитич. функций комплексного переменного, состоящий из z функции Римана, ее обобщений и аналогов. Д. ф. и их обобщения в виде L функций (см. Дирихле L функции )лежат в основе современной аналитич.… …
