Словарь логики
"Пропозициональная Связка"

Главная - Словарь логики - буква П - Пропозициональная Связка

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

Поделитесь с друзьями:

Вы можете поставить ссылку на это слово:

будет выглядеть так: Пропозициональная Связка

будет выглядеть так: Что такое Пропозициональная Связка

Словарь логики"Пропозициональная Связка"

Словарь логики
"Пропозициональная Связка"