Общий Интеграл

- свойство логической формулы, состоящее в том, что эта формула истинна при любой интерпретации входящих в нее нелогич. Символов, т. Е. Предикатных и пропозициональных переменных. Логич. Формулы, обладающие этим свойством, наз. Общезначимыми, или тождественно истинными, или тавтологиями. Всякая общезначимая формула выражает логический закон. Вместо слов "формула Аобщезначима" часто пишут. Важнейшими видами логич. Формул являются пропозициональные и предикатные формулы. При классич. Понимании л..

- частично рекурсивная функция, определенная для всех значений аргументов. Понятие О. Ф. Может быть определено и независимо от понятия частично рекурсивной функции следующим образом. Класс всех О. Ф.- это наименьший класс функций, содержащий все примитивно рекурсивные функции и замкнутый относительно композиции функций и наименьшего числа оператора при условии, что последний применяется к функции лишь тогда, когда Однако изучение О. Ф. Обычно ведется в классе всех частично рекурсивных функц..

- множество Rмощности т, являющееся различных представителей системой для каждого из tсемейств подмножеств заданного множества S, каждое из к-рых состоитиз тчленов. ..

- то же, что всеобщности квантор.. ..