Akademik

        (от лат. conjunctio — союз, связь), в широком смысле — сложное высказывание, образованное с помощью союза «и». В принципе можно говорить о К. бесконечного числа высказываний (напр., о К. всех истинных предложений математики). В логике К. наз. логич. связку (операцию, функцию; обозначают: &, ); образованное с её помощью сложное высказывание истинно только при условии одинаковой истинности его составляющих. В классич. логике высказываний К. вместе с отрицанием составляют функционально-полную систему пропозициональных связок. Это означает, что через них можно определить любую др. пропозициональную связку. Одним из свойств К. является коммутативность (т. е. эквивалентность А & В и В & А). Однако иногда говорят о некоммутативной, т. е. упорядоченной, К. (примером высказывания с такой К. может служить: «Ямщик свистнул, и лошади поскакали»).

(от лат. conjunctio – союз, связь) – операция логики, отражающая употребление союза "и" в содержат. логич. выводах; заключается в образовании из двух к.-л. высказываний (или форм высказываний) А и В такого сложного высказывания (формы высказываний) (обозначаемого обычно А&В или А·В, что читается "А и В"), к-рое истинно лишь тогда, когда истинны оба высказывания А и B (К. часто наз. и то высказывание, к-рое получается в результате применения операции К.). К. не совпадает полностью с употреблением логич. союза "и" в естеств. языке, т.к. не предполагает связи по смыслу между выражениями, связываемыми знаком К. Операция К. обычно вводится в рамках того или иного исчисления. Подробнее см. Конъюнктивное суждение; см. также Коммутативность, Алгебра логики, Логика высказываний.

Лит.: Тарский Α., Введение в логику и методологию дедуктивных наук, пер. с англ., М., 1948, гл. 2, § 7; Градштейн И. С., Прямая и обратная теоремы, 3 изд., М., 1959, с. 14–15; Чёрч Α., Введение в матем. логику, пер. с англ., [т. ] 1, М., 1960, § 05 и с. 402.