Дедукция

Cтраница 3

Метатеорема дедукции тривиально верна в адекватной полной системе, но может оставаться верной и в неполной системе. [31]

Метод дедукции используется, когда из суждения о правильности общего принципа можно сделать вывод, что правильны и отдельные случаи его приложения в решении поставленной цели. [32]

Теорема о дедукции доказана. [33]

Теорема о дедукции, а также правила Т8 и Т9, являют собой примеры таких утверждений о выводимости, которые доказываются не только записью формального вывода в исчислении, но и некоторым общим и неформальным рассуждением о той или иной выводимости без ее конкретного изображения. Этот второй слой логического рассуждения приводит к тому, что подобного рода утверждения называют метатеоремами. [34]

В действительности дедукция и индукция неразрывно связаны между собой, и структура дедуктивного рассуждения обусловлена многовековой практически-познавательной деятельностью человека. [35]

При этом дедукция неразрывно связана с индукцией. [36]

Индукция и дедукция связаны между собою столь же необходимым образом, как синтез и анализ. Содержание посылок дедуктивного умозаключения не дано заранее в готовом виде. Характеризуя Капитал Маркса как классич. [37]

Два уровня ( две сферы экономических исследований.| Индукция и дедукция. [38]

Индукция и дедукция представляют собой два противоположных, но тесно взаимосвязанных способа рассуждения. [39]

Под процессом дедукции мы понимаем процесс взятия всех точек, общих всем множествам заданной бесконечной последовательности точечных множеств. [40]

Применив теорему дедукции, получим требуемую формулу. [41]

Поэтому процесс дедукции, т.е. процесс получения некоторых предложений или пропозициональных функций как заключений из аксиом теории, сведен к простым механическим операциям над конечными последовательностями знаков. [42]

Класси-ческими образцами дедукции в химии являются предсказания существования и свойств простейших форм химической материи - новых элементов, исходя уже не из вновь открытых фактов ( как новые элементы открывались ранее), а из открытия всеобщего закона, предопределяющего существование и свойства всех химических элементов. [43]

С концепцией процедурной дедукции связана проблема полноты. В системе PLANNER это свойство отсутствует. [44]

В системах прямой дедукции новые знания получают, применяя выводы к фактам и правилам. [45]

Страницы: 1 2 3 4