Статистика - Статей: 909699, Изданий: 1065

Искать в "Математическая энциклопедия..."

ЛОГИЧЕСКИЙ ЗАКОН





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





Еще в энциклопедиях