WikiDer > Монотонность вывода

эта статья не цитировать Любые источники. Пожалуйста помоги улучшить эту статью от добавление цитат в надежные источники. Материал, не полученный от источника, может быть оспорен и удалено. Найдите источники: «Монотонность следствия» – Новости · газеты · книги · ученый · JSTOR (Май 2008 г.) (Узнайте, как и когда удалить этот шаблон сообщения)

Монотонность вывода это собственность многих логические системы который утверждает, что гипотезы любого производного факта могут быть свободно расширены с дополнительными предположениями. В последовательные исчисления это свойство может быть зафиксировано правилом вывода, называемым ослабление, а иногда прореживание, и в таких системах можно сказать, что логическое следствие монотонно тогда и только тогда, когда правило допустимо. Логические системы с этим свойством иногда называют монотонная логика чтобы отличить их от немонотонная логика.

Ослабляющее правило

Для иллюстрации рассмотрим естественный вычет последовательный:

Γ ${ displaystyle vdash}$ C

То есть на основе списка предположений Γ можно доказать C. Ослабление, добавляя предположение A, позволяет заключить:

Γ, A ${ displaystyle vdash}$ C

Например, силлогизм «Все люди смертны. Сократ - человек. Следовательно, Сократ смертен». можно ослабить, добавив посылку: «Все люди смертны. Сократ - человек. Коровы производят молоко. Следовательно, Сократ смертен». Срок действия первоначального заключения при добавлении помещений не изменяется.

Немонотонная логика

В большинстве логических схем ослабление - это либо правило вывода, либо метатеорема если в логике нет явного правила. Примечательные исключения:

• Строгая логика или соответствующая логика, где для заключения необходима каждая гипотеза.
• Линейная логика который запрещает произвольные Идемпотентность следствия.

Смотрите также

• Сокращение
• Правило обмена
• Субструктурная логика
• Теорема о запрете клонирования

Эта логика-связанная статья является заглушка. Вы можете помочь Википедии расширяя это. v т е