Наши партнеры

Ctek.ru - зарядное для аккумулятора скутера

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

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

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

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

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

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

Вернуться к оглавлению

© 2000- NIV