Логика множественных выводов - Википедия - Multiple-conclusion logic

А логика множественных выводов тот, в котором логическое следствие это связь, ${ displaystyle vdash}$, между двумя наборы из фразы (или же предложения ). ${ displaystyle Gamma vdash Delta}$ обычно интерпретируется как означающее, что всякий раз, когда каждый элемент ${ displaystyle Gamma}$ правда, какой-то элемент ${ displaystyle Delta}$ правда; и всякий раз, когда каждый элемент ${ displaystyle Delta}$ ложно, некоторый элемент ${ displaystyle Gamma}$ ложно.

Эта форма логики была разработана в 1970-х гг. Д. Дж. Обувьмит и Тимоти Смайли^[1] но не получил широкого распространения.

Немного логики предпочитают отношение следствия с несколькими выводами перед более традиционным отношением с одним выводом на том основании, что последнее асимметричный (в неформальном, нематематическом смысле) и предпочитает истину лжи (или утверждение, а не отрицание).

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

• Последовательное исчисление

Рекомендации

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