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

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

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

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

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

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

  1. ^ Д. Дж. Ботсмит и Т. Дж. Смайли, Логика множественного заключения, Cambridge University Press, 1978.