Логическая Формула
выражение в языке формальной логики, являющееся аналогом предложения. Точное определение Л. Ф. Дается для каждого конкретного логич. Языка. Как правило, определение формулы имеет индуктивный характер. Выделяется класс выражений, называемых элементарными, или атомарными, формулами, и указываются правила, позволяющие из уже построенных формул строить новые формулы, используя символы логических операций. Напр., формулы логики высказываний определяются следующим образом. Всякая пропозициональная переменная есть (элементарная) формула. Если A и В - формулы, то выражения - формулы. Формулы логики предикатов строятся из пропозициональных, предикатных и предметных переменных с использованием логич. Связок, кванторов и вспомогательных символов (скобок и запятых).
Элементарные формулы - это пропозициональные переменные и выражения вида Р( у 1, ..., у п), где Ресть n-местная предикатная переменная, у 1, ..., у п - предметные переменные. Формулы исчисления предикатов определяются следующим образом. А) всякая элементарная формула есть формула. Б) если Аи В - формулы, у - предметная переменная, то выражения суть формулы. В. Е. Плиско. .
Дополнительный поиск Логическая Формула
На нашем сайте Вы найдете значение "Логическая Формула" в словаре Математическая энциклопедия, подробное описание, примеры использования, словосочетания с выражением Логическая Формула, различные варианты толкований, скрытый смысл.
Первая буква "Л". Общая длина 18 символа