основанный на логическом выводе
1Метод изучения, исследования — Имена существительные АБСТРА/КЦИЯ, абстраги/рование, отвлече/ние, книжн. умозре/ние. Метод исследования, основанный на мысленном отвлечении от каких л. частных признаков, свойств и связей предмета, явления с целью выделения, обособления… …
2АКСИОМАТИЧЕСКИЙ МЕТОД — АКСИОМАТИЧЕСКИЙ МЕТОД, метод математических рассуждений, основанный на логическом выводе из некоторых утверждений (аксиом). Этот метод является одной из основ математической науки: его использовали еще в древней Греции, а формализацию его… …
3дедукция — ДЕДУКЦИЯ1, и, ж Спец. Интеллектуальный процесс, представляющий собой движение мысли от общего к частному, в результате чего из общего выводятся частные положения; Ант.: индукция. Шерлок, придавший логике прелесть грезы, Шерлок, составивший… …
4Дескрипционная логика — Описательные логики[1] или дескрипционные логики[2][источник не указан 861 день](сокр. ДЛ, англ. description logics, иногда используется неточный перевод: дескриптивные логики)  семейство языков представления знаний …
5Зоммерфельд, Арнольд — Арнольд Зоммерфельд Arnold Sommerfeld Зоммерфельд в …
6ЛОГИКА — (от греч. logos слово, понятие, рассуждение, разум), или Формальная логика, наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или… …