в математической логике - логическая формула, к-рая является схемой истинных предложений, т. е. превращается в истинное высказывание при любой интерпретации входящих в нее переменных для высказываний и предикатов. Такие формулы наз. общезначимыми, или тавтологиями. Напр., тавтология 
выражает исключенного третьего закон. В. Е. Плиско.
Математическая энциклопедия. — М.: Советская энциклопедия. И. М. Виноградов. 1977—1985.
ЛОГИЧЕСКИЙ ЗАКОН — или Закон логики, выражение, содержащее только логические константы и переменные и являющееся истинным в любой (непустой) предметной области. Примерами Л.з. могут служить закон противоречия, закон исключенного третьего, закон де Моргана, закон… … Философская энциклопедия
логический закон — ЛОГИЧЕСКИЙ ЗАКОН общее название законов, образующих основу логической дедукции. Понятие о Л. з. восходит к древнегреч. понятию о логосе как о предпосылке объективной («природной») правильности рассуждений. Собственно логическое содержание … Энциклопедия эпистемологии и философии науки
ЛОГИЧЕСКИЙ ЗАКОН — название законов, образующих основу логической дедукции; схема логической связи высказываний, выражаемая общезначимой формулой логики (аксиомой или теоремой), убедительность которой вытекает из одного только истолкования входящих в нее логических … Большой Энциклопедический словарь
логический закон — название законов, образующих основу логической дедукции; схема логической связи высказываний, выражаемая общезначимой формулой логики (аксиомой или теоремой), убедительность которой вытекает из одного только истолкования входящих в неё логических … Энциклопедический словарь
логический закон — выражение, содержащее только логические константы и переменные и явля ющееся истинным в любой (непустой) предметной области. Примером Л. з. может служить любой закон логики высказываний (скажем, непротиворечия закон, закон исключенного третьего,… … Словарь терминов логики
Логический закон — общее название законов, образующих основу логической дедукции. Понятие о Л. з. восходит к древнегреческому понятию о lógos e как предпосылке объективной («природной») правильности рассуждений. Собственно логическое содержание оно впервые… … Большая советская энциклопедия
ЗАКОН ЛОГИЧЕСКИЙ — ЗАКОН ЛОГИЧЕСКИЙ общее название законов, образующих основу логической дедукции. Понятие о законах логики восходит к древнегреческому понятию о logos e как предпосылке объективной (“природной”) правильности рассуждений. Собственно логическое… … Философская энциклопедия
закон клавия — логический закон, характеризующий связь импликации ( если, то ) и отрицания. Его можно передать так: если из отрицания некоторого высказывания вытекает само это высказывание, то оно является истинным. Или короче: высказывание, вытекающее из… … Словарь терминов логики
ЗАКОН ТОЖДЕСТВА — логический закон, согласно которому всякое высказывание влечет (имплицирует) само себя. Внешне это самый простой из логических законов. Его можно передать так: если высказывание истинно, то оно истинно. Напр.: «Если трава зеленая, то она зеленая» … Философская энциклопедия
Закон противоречия — Закон непротиворечия (закон противоречия) закон логики, который гласит, что два несовместимых (противоречащих либо противоположных) суждения не могут быть одновременно истинными. По крайней мере, одно из них необходимо ложно[1].… … Википедия
