ПРОПОЗИЦИОНАЛЬНАЯ СВЯЗКА

– операция, позволяющая из данных суждений (высказываний) строить новые суждения (высказывания). В логике высказываний высказывания (формулы) рассматриваются лишь с точки зрения их истинности или ложности. Если A и В – к.-л. формулы (простые, элементарные или сложные, построенные из элементарных), то из них с помощью П. с. могут строиться новые формулы: А & В, AvB, A-> B, А = В, если А – формула, то  А – также формула. Символы «&», «v», «->», «=», « » выражают П. с., которые определяются на семантическом, содержательно-алгоритмическом уровне при помощи таблиц истинности. Эти П. с. соответственно называются: конъюнкцией, дизъюнкцией, импликацией, эквиваленцией, отрицанием. Смысл П. с. в русском языке передается при помощи следующих выражений:

конъюнкция – с помощью союзов «и», «а», «но», «хотя» и др.;

дизъюнкция (нестрогая) – с помощью выражений: «или», «или, или оба»;

импликация – с помощью выражений «если..., то», «влечет», «следует» (ср.: «Если А, то В», «А влечет В», «Из А следует В»);

эквиваленция – с помощью выражений «эквивалентно», «равносильно», «тогда и только тогда», «если и только если»;

отрицание – с помощью выражений «не», «неверно, что».