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