Анализ VS. дедукция

В настоящей работе рассматриваются четыре вида задач, которые естественным образом возникают в связи с определением логического вывода.

1) проверка доказательства.

2) поиск интересных следствий.

3) поиск доказательства.

4) поиск гипотез.

В современной логике основное внимание уделяется задаче поиска доказательств. Ограничительные теоремы Гёделя имеют прямое к ней отношение. В то же время в реальной практике задача поиска гипотез, из которых следует целевое предложение, встречается гораздо чаще, чем задача поиска доказательства. Подробному ее исследованию и посвящена основная часть настоящей работы.

https://vk.com/doc4605748_485916727?hash=e160dc8074c82af744&dl=930404a1458f82aa97

https://vk.com/doc4605748_485908406?hash=9302ef49fb6be6d706&dl=89abe3e5e98666c57b

https://vk.com/doc4605748_485916103?hash=a4d54ffe9cccaabf9a&dl=ede74a2dffef0786e0

Источник: vk.com

Комментарии: