Твоя Йога. Словарь логики.
Твоя Йога
Энциклопедия
Единство. Свет. Любовь.
назад | поиск | печать | отправка | главная
Словарь "Логика и логические термины"

Энциклопедия

Объявления

Меню

Your Yoga

Выберите букву, на которую начинается слово, значение которого Вы хотите узнать:

А Б В Г Д З И К Л М Н О П Р С Т У Ф Ц Ч Э Ю Я

йога-Энциклопедия

[Разрешения Проблема]
или: Разрешимости пробленма, аЧ проблема нахождения для данной дедуктивной теории общего метода, позволяющего решать, может ли отдельное утверждение, сфорнмулированное в терминах теории, быть доказано в ней или нет. Этот общий метод, являющийся эффективной процедурой (алгоритмом), называется процедурой разрешения или разрешающей процедурой, а теория, для которой такая процедура существует, Ч разрешимой теорией. Р. п. решается в классической логике высказываний с помощью таблиц истинности. Разрешающий алгоритм существует и для логинки одноместных предикатов, для силлогизма категорического и друнгих простых дедуктивных теорий. Но уже для логики предикатов общего решения Р. п. не существует. В математике также невозможно установить общий метод, который дал бы возможность провести различие между утверждениями, которые могут быть доказаны в ней, и теми, которые в ней недоказуемы. Невозможность найти для теории общий разрешающий метод не исключает поиска процедуры разрешения для отдельных классов ее утверждений.

Вернуться в раздел Эзотерические и восточные энциклопедии.

Сайт © Your Yoga - www.youryoga.org
© Copyright 2003-2024 Your Yoga | на главную | новости