" 0 C F G H K L N P S T W Z А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Э Ю Я

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

Значение ЛОГИЧЕСКИЙ ЗАКОН в математической энциклопедии:

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