#ПредикатыПредикатыИсследуйте Области знанийУ нас представлены тысячи статейТегПредикатыПредикатыНайденo 6 статейТерминыТермины Финитно аппроксимируемая группаФини́тно аппроксими́руемая гру́ппа, группа, аппроксимируемая конечными группами. Пусть – группа, – отношение (иначе говоря, предикат) между элементами и множествами элементов, определённое на и всех её гомоморфных образах. Пусть – класс групп. Говорят, что группа аппроксимируется группами из относительно , если для любых элементов и множеств элементов из , не находящихся в отношении , существует такой гомоморфизм группы на группу из , при котором образы этих элементов и множеств тоже не находятся в отношении .Научные законы, утверждения, уравнения Правило подстановкиПра́вило подстано́вки, одно из правил вывода логико-математических исчислений. Под названием «правило подстановки» могут фигурировать различные виды правил. Например, в исчислении высказываний это правило подстановки формулы вместо всех вхождений пропозициональной переменной.Термины Предикатная переменнаяПредика́тная переме́нная, переменная, значениями которой могут быть предикаты. При формальном построении аксиоматических систем предикатные переменные отличаются от индивидных переменных тем, что вместо них можно подставлять формулы.Термины Формализованный языкФормализо́ванный язы́к, искусственный (в отличие от естественных, например русского) язык, характеризующийся точными правилами построения выражений и их понимания. На протяжении всей истории развития математики в ней широко использовались символические обозначения для различных объектов и понятий. Однако, наряду с символическими обозначениями, математики свободно пользовались и обычным языком. Потребность в полной формализации математических теорий, т. е. в изложении этих теорий на формализованном языке, возникла в связи с задачей логического анализа математических суждений, уточнения понятия доказательства в математике. Формализованные языки, используемые для формализации математических теорий, обычно называют логико-математическими языками, т. к. в них сочетается использование математической и логической символик.Термины Бинарное отношениеБина́рное отноше́ние, двуместный предикат на заданном множестве. Под бинарным отношением иногда понимают подмножество множества упорядоченных пар элементов заданного множества . Бинарное отношение – частный случай отношения.Термины Логическая формулаЛоги́ческая фо́рмула, формула, содержащая лишь символы логических операций и переменные для высказываний и предикатов.