Словарь логики

(от лат. conjunctio - союз, связь) - логическая операция, с помощью которой два или более высказываний объе­диняются в новое сложное высказывание. Это новое высказыва­ние называется конъюнктивным высказыванием или просто К. Символически конъюнктивная связка обозначается знаками « ∙ », «&», «Ù». Если А, В, С... представляют простые высказывания, то конъюнктивное высказывание выглядит следующим образом: А&В или А&В&С и т. п. В обыденной речи К. соответствует союз «и», поэтому К. читается так: А и В. Напр.: «Пассажиры заняли свои места, и поезд тронулся». Значение истинности сложного конъюнктивного высказыва­ния зависит от истинностных значений входящих в него простых высказываний и определяется на основе следующей таблицы ис­тинности: Эта таблица говорит о том, что конъюнктивное высказывание истинно только в одном случае, когда все входящие в него про­стые высказывания истинны. Напр., высказывание «Киев стоит на Днепре, и Киев — столица Украины» истинно, а высказывание «Киев стоит на Днепре, и Киев - столица Белоруссии» ложно. Сле­дует иметь в виду, что К. учитывает только истинностные значения простых высказываний и не учитывает смысловые связи между ними. Поэтому К. может соединять высказывания, между которыми нет никакой содержательной связи. Напр., «Дважды два четыре, и снег бел» и т. п. Для К. справедлив закон коммутативности: А&В эквива­лентно В&А, хотя в высказываниях с союзом «и» этот закон дей­ствует далеко не всегда. Напр., если в высказывании «Подул ветер, и деревья закачались» поменять местами члены К., высказывание станет бессмысленным с точки зрения здравого смысла.