#ПредикатыИсследуйте Области знанийУ нас представлены тысячи статейТегПредикатыПредикатыТермины Бинарное отношениеБина́рное отноше́ние, двуместный предикат на заданном множестве. Под бинарным отношением иногда понимают подмножество множества упорядоченных пар элементов заданного множества . Бинарное отношение – частный случай отношения.Термины Логическая формулаЛоги́ческая фо́рмула, формула, содержащая лишь символы логических операций и переменные для высказываний и предикатов.
