предикатный
21ПРЕДИКАТ — ПРЕДИКАТ, а, муж. 1. В логике: понятие, определяющее предмет суждения (субъект). 2. В грамматике: член предложения, обозначающий отнесённый ко времени признак (действие или состояние). | прил. предикатный, ая, ое и предикативный, ая, ое (ко 2… …
22ЛОГИКА В РОССИИ — эволюция современной (математической) логики в России. Кон. 19 в. и нач. 20 в. знаменуют выход логики за рамки силлогистики и появление логиков новаторов, таких как П.С. Порецкий, М.В. Каринский, Л.В. Рутковский, СИ. Поварнин, и др. Казанский… …
23МЕТОД АКСИОМАТИЧЕСКИЙ — способ построения теории, при к ром в ее основу кладутся нек рые ее положения – аксиомы или постулаты, – из к рых все остальные положения теории (теоремы) выводятся путем рассуждений, называемых д о к а з а т е л ь с т в а м и. Правила, по к рым… …
24АЛГЕБРАИЧЕСКИХ СИСТЕМ МНОГООБРАЗИЕ — алгебраических систем класс фиксированной сигнатуры и, аксиоматизируемый при помощи тождеств, т. е. формул вида где к. л. предикатный символ из или знак равенства, а термы сигнатуры Q от предметных переменных А. с. м. наз. иначе э к,… …
25ГОМОМОРФИЗМ — морфизм в категории алгебраических систем. Г. отображение алгебраич. системы , сохраняющее основные операции и основные отношения; точнее, пусть алгебраич. система с основными операциями и основными отношениями , Г. системы в однотипную ей… …
26КВАЗИТОЖДЕСТВО — условное тождество, формулы логического языка 1 й ступени вида где через А 1,... , А р, А обозначены простейшие формулы вида а f, g,a1, ... , a т термы от x1,... , х п, Р сигнатурный предикатный символ. Квазитождествами определяются… …
27КОНСТРУКТИВНОЕ ПО ГЁДЕЛЮ МНОЖЕСТВО — множество, возникающее в описанном ниже процессе построения множеств. Пусть X множество и X. Рассмотрим язык 1 й ступени L(R, X), содержащий один 2 местный предикатный символ, обозначающий отношение R, и индивидные константы, обозначающие… …
28ОБЪЕМНОСТИ АКСИОМА — одна из аксиом теории множеств, утверждающая равенство двух множеств, если они содержат одни и те же элементы: В языке, не содержащем символа равенства и имеющем только один предикатный символ , О. а. имеет вид . Для формализации математики в… …
29ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — формальная аксиоматич. теория; исчисление, предназначенное для описания логических законов, справедливых для любой непустой области объектов с произвольными заданными на этих объектах предикатами (т. в. свойствами и отношениями). Для формулировки …
30РАВЕНСТВА АКСИОМЫ — аксиомы, регулирующие употребление отношения равенства в математич. доказательствах. Аксиомы эти утверждают рефлексивность отношения равенства и возможность замены равного равным. Символически Р. а. записываются так: где j произвольная формула, а …
