Логический закон

в математической логике - логическая формула, к-рая является схемой истинных предложений, т. е. превращается в истинное высказывание при любой интерпретации входящих в нее переменных для высказываний и предикатов. Такие формулы наз. общезначимыми, или тавтологиями. Напр., тавтология [img: http://localhost:8080/file/031325-89.jpg] выражает исключенного третьего закон. В. Е. Плиско.