Большая Советская Энциклопедия (ЛО)

опера'ции, логические связки, логические операторы, функции, преобразующие высказывания или пропозициональные формы (т. е. выражения логики предикатов, содержащие переменные и обращающиеся в высказывания при замене последних какими-либо конкретными их значениями) в высказывания или пропозициональные формы. Л. о. можно разделить на две основные группы: кванторы и пропозициональные (сентенциональные) связки. Кванторы играют для формализованных языков математической логики ту же роль, которую играют для естественного языка т. н. «количественные» («кванторные») слова: «все», «любой», «некоторый», «существует», «единственный», «не более (менее) чем», количественные числительные и т. п. Характерной особенностью кванторов является — в случае нефиктивного их применения — понижение числа свободных переменных в преобразуемом выражении: применение квантора к выражению, содержащему n свободных переменных, приводит, вообще говоря, к выражению, содержащему n — 1 свободную переменную, в частности, пропозициональную форму с одной свободной переменной применение квантора (по этой переменной) преобразует в высказывание.

  Пропозициональные связки (в отличие от кванторов, введение которых знаменует переход к логике предикатов) употребляются уже в самой элементарной части логики — в логике высказываний. В формализованных логических и логико-математических языках они выполняют функции, вполне аналогичные функциям союзов и союзных слов, употребляемых для образования сложных предложений в естественных языках. Так, отрицание ù истолковывается как частица «не», конъюнкция & истолковывается как союз «и», дизъюнкция  — как (неразделительное) «или», импликация É — как оборот «если..., то...», эквиваленция ~ — как оборот «тогда и только тогда, когда» и т. п. При этом, однако, соответствие между Л. о. и средствами естественного языка отнюдь не взаимно однозначно. Во-первых, потому, что высказывания, по определению, могут принимать лишь два «истинностных значения»: «истину» («и») и «ложь» («л»), так что пропозициональные Л. о. можно рассматривать как различные функции, отображающие некоторую область из двух элементов в себя; поэтому число различных n-местных (т. е. от n аргументов) Л. о. определяется из чисто комбинаторных соображений — оно равно 2ⁿ. Во-вторых, в формализованных языках математической логики игнорируются любые смысловые (и тем более стилистические) оттенки значений союзов, кроме тех, что непосредственно определяют истинностное значение получающегося сложного предложения. В свою очередь, в качестве Л. о. рассматриваются подчас и такие связки, содержательные аналоги которых в обычном языке, как правило, не имеют специальных наименований; таков, например, «штрих Шеффера» ½ в нижеследующей таблице, где приведён полный перечень всех  двуместных пропозициональных Л. о. (в первых двух столбцах помещены истинностные значения некоторых «исходных» высказываний р и q, в остальных — значения высказываний, образуемых из них посредством указанных сверху Л. о.).

Тождественная истина

Тождественная ложь

P

Отррицание p

q

Отрицание q

Конъюнкция

Антиконъюнкция (штрих Шеффера)

Дизъюнкция

Антидизъюнкция

Эквиваленция

Антиэквиваленция

Импликация

Антиимпликация

Обратная импликация

Обратная антиимпликация

p

q

и

л

p

ù p

q

ù q

p&q

P÷q

pÚq

pq

p~q

pq

pÉq

pq

pÌq

pËq

и

и

и

л

и

л

и

л

и

л

и

л

и

л

и

л

и

л

и

л

и

л

и

л

л

и

л

и

и

л

л

и

л

и

и

л

л

и

и

л

л

и

и

л

л

и

и

л

л

и

и

л

л

и

л

л

и

л

л

и

л

и

л

и

л

и

и

л

и

л

и

л

  Поскольку в таблице сведены все мыслимые двуместные Л. о., соответствующие всевозможным «четырехбуквенным словам» из «и» и «л», записанным по вертикали в её столбцах, то естественно, что среди этих 17 Л. о. есть и «вырожденные» случаи: первые две «связки» вообще не зависят ни от каких «аргументов» — это константы «и» и «л» (понятно, что таких «нульместных» связок имеется ровно ), далее идут  «одноместных связок» (каждая из которых зависит лишь от одного из аргументов р или q) и только затем уже 16—2—4 = 10 собственно двуместных Л. о. Можно далее рассматривать  трёхместных Л. о. и т. д.; оказывается, однако, что уже небольшой части приведённых Л. о. достаточно для того, чтобы посредством их суперпозиций (т. е. последовательного применения) выразить любые n-местные Л. о. для любого натурального n. Такими функционально полными наборами связок являются, например, ù и &, ù и , ù и É и даже одна-единственная связка ½. Поскольку логика высказываний может быть изоморфно (см. Изоморфизм) интерпретирована в терминах логики классов, для каждой Л. о. имеется аналогичная теоретико-множественная операция; совокупность таких операций над множествами (классами) образует т. н. алгебру множеств. См. Алгебра логики.

  Лит.: Чёрч А., Введение в математическую логику, пер. с англ., т. 1, М., 1960, §§ 05, 06 и 15.

  Ю. А. Гастев.

Логический закон

Логи'ческий зако'н, общее название законов, образующих основу логической дедукции. Понятие о Л. з. восходит к древнегреческому понятию о lógos'e как предпосылке объективной («природной») правильности рассуждений. Собственно логическое содержание оно впервые получает у Аристотеля, положившего начало систематическому описанию и каталогизации таких схем логических связей произвольных элементарных высказываний в сложные высказывания, убедительность (общезначимость) которых вытекает из одной только их формы, а точнее — из одного только правильного понимания смысла логических связей, безотносительно к истинностному значению элементарных высказываний. Большинство Л. з., открытых Аристотелем, это — законы силлогизма. Позже были открыты и другие законы и даже установлено, что множество Л. з. бесконечно. В некотором смысле обозреть это бесконечное множество Л. з. стало возможным благодаря различного типа формальным теориям логического рассуждения — т. н. логическим формализмам, или логическим исчислениям, в которых Л. з. выражаются определённого вида формулами и определяются — каждый по отношению к «своему» исчислению — выводимыми формулами данного вида (т. н. «общезначимыми формулами», или теоремами исчислений, см. Логика) . Существующее многообразие логических исчислений естественно порождает идею относительности Л. з. Однако типом логического исчисления полагаются одновременно и границы этой относительности, поскольку тип исчисления не является исключительно делом произвольного выбора, а диктуется (или подсказывается) «логикой вещей», о которых хотят рассуждать, а также, в известном смысле, субъективной уверенностью в том или ином характере этой логики. Все исчисления, основанные на одной и той же гипотезе о характере «логики вещей», являются эквивалентными в том смысле, что они описывают («порождают») одни и те же Л. з. К примеру, исчисления, основанные на двузначности принципе, т. н. исчисления классической логики, несмотря на всё их «внешнее» разнообразие, описывают один и тот же «мир» классический Л. з. —