Логическая Функция

способ построения сложного высказывания из данных высказываний, при к-ром истинностное значение сложного высказывания полностью определяется истинностными значениями исходных высказываний. Примерами Л. О. Являются конъюнкция, дизъюнкция, импликация, отрицание. К Л. О. Относятся также кванторы:они позволяют образовывать высказывания и высказывательные формы из данных высказывательных форм. В. Е. Плиско. . ..

выражение в языке формальной логики, являющееся аналогом предложения. Точное определение Л. Ф. Дается для каждого конкретного логич. Языка. Как правило, определение формулы имеет индуктивный характер. Выделяется класс выражений, называемых элементарными, или атомарными, формулами, и указываются правила, позволяющие из уже построенных формул строить новые формулы, используя символы логических операций. Напр., формулы логики высказываний определяются следующим образом. Всякая пропозициональная п..

..

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