Логика множественных выводов

Логика множественного вывода — это логика, в которой логическое следствие представляет собой отношение между двумя наборами предложений (или суждений ). Обычно интерпретируется так, что всякий раз, когда каждый элемент истинен, какой-то элемент истинен; и всякий раз, когда каждый элемент ложен, какой-то элемент ложен.${\displaystyle \vdash}$${\displaystyle \Gamma \vdash \Delta}$${\displaystyle \Гамма}$${\displaystyle \Дельта}$${\displaystyle \Дельта}$${\displaystyle \Гамма}$

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

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

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

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

• в
• т
• е