Страницу Назад
Поискать другие аналоги этой работы

Формирование и проверка гипотез

ID: 84280
Дата закачки: 12 Ноября 2012
Закачал: DocentMark (Напишите, если есть вопросы)
Посмотреть другие работы этого продавца

Тип работы: Работа
Форматы файлов: Microsoft Word

Описание:
В логике методы рассуждений делятся на два класса: дедуктивные выводы и правдоподобные рассуждения (или недедуктивные выводы). Для выполнения дедуктивных выводов необходимы некоторые правила логического вывода; эти правила определены математической формальной системой, с помощью которой моделируются рассуждения и во многом соответствуют правилам логического вывода, которые используются в строгих математических доказательствах. Из предыдущих разделов мы уже знаем, что для систем логического анализа на основе E-структур предусмотрены два правила вывода – транзитивности и контрапозиции, с помощью которых формируется CT-замыкание структуры. Кроме того, для контроля корректности структуры используются методы проверки наличия или отсутствия коллизий. Эти методы не являются правилами вывода, но способствуют их успешной реализации.
Однако естественные рассуждения не ограничиваются только дедуктивными выводами. Дедукция, как правило, работает на заключительном этапе мыслительных процессов, когда построены некоторые исходные утверждения, которые имеют статус аксиом. Тогда получение следствий (теорем) из аксиом и проверка того, что некоторое утверждение является следствием из этих аксиом, относятся к дедукции В то же время сами аксиомы нередко формируются с помощью некоторых обобщений и творческой интуиции. Эта мыслительная деятельность относится уже к правдоподобным рассуждениям.

Размер файла: 57,2 Кбайт
Фаил: