КОНЪЮНКЦИЯ

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