- правило обобщения
- мат. generalization rule, rule of generalization
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
правило локка — правило, формулируемое так: если некоторое свойство A принадлежит любому, но фиксированному элементу изучаемого множества М (т. е. является параметром), то это свойство принадлежит и всем элементам данного множества. Символически оно записывается … Словарь терминов логики
Правило произведения — или тождество Лейбница характерное свойство дифференциальных операторов. Часто тождество Лейбница включается как аксиома при определении дифференцирования. Примеры Для производной Для дифференциала … Википедия
Правило Лейбница — Правило произведения характерное свойство дифференциальных операторов, также называется тождеством Лейбница. Вариации и обобщения Операция на градуированной алгебре … Википедия
Правило дифференцирования произведения — Правило произведения характерное свойство дифференциальных операторов, также называется тождеством Лейбница. Вариации и обобщения Операция на градуированной алгебре … Википедия
ЛЕНЦА ПРАВИЛО — определяет направление пндукц. токов, возникающих в результате электромагнитной индукции; является следствием закона сохранения энергии. Л. п. установлено (1833) Э. X. Ленцем. Индукц. ток в контуре направлен так, что создаваемый им поток… … Физическая энциклопедия
ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — общее название исчислений математической логики, являющихся формализацией тех разделов совр. логики, к рые изучают субъектно предикатную структуру предложений (высказываний), понимаемую в более широком, чем в традиц. логике, смысле: помимо теории … Философская энциклопедия
ВЫВОД ЛОГИЧЕСКИЙ — ВЫВОД ЛОГИЧЕСКИЙ рассуждение, в котором осуществляется переход по правилам от высказывания или системы высказываний к высказыванию или системе высказываний. К логическому выводу обычно предъявляются (совместно или по отдельности)… … Философская энциклопедия
вывод логический — ВЫВОД ЛОГИЧЕСКИЙ рассуждение, в котором по определенным правилам осуществляется переход от высказываний или системы высказываний к высказыванию или системе высказываний. К В. л. обычно предъявляются (разом или по отдельности) следующие… … Энциклопедия эпистемологии и философии науки
ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — формальная аксиоматич. теория; исчисление, предназначенное для описания логических законов, справедливых для любой непустой области объектов с произвольными заданными на этих объектах предикатами (т. в. свойствами и отношениями). Для формулировки … Математическая энциклопедия
Логика первого порядка — (исчисление предикатов) формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высшего порядка. Содержание 1 … Википедия
Производная произведения — Правило произведения характерное свойство дифференциальных операторов, также называется тождеством Лейбница. Вариации и обобщения Операция на градуированной алгебре … Википедия