А Б В Г Д Е Ж З И К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Э Ю Я Пропозициональная СвязкаПропозициональная Связка - - операция, позволяющая из данных суждений (высказываний) строить новые суждения (высказывания). В логике высказываний высказывания (формулы) рассматриваются лишь с точки зрения их истинности или ложности. Если A и В - к.-л. формулы (простые, элементарные или сложные, построенные из элементарных), то из них с помощью П. с. могут строиться новые формулы: А & В, AvB, A-> B, А = В, если А - формула, то ~А - также формула. Символы «&», «v», «->», «=», «~» выражают П. с., которые определяются на семантическом, содержательно-алгоритмическом уровне при помощи таблиц истинности. Эти П. с. соответственно называются: конъюнкцией, дизъюнкцией, импликацией, эквиваленцией, отрицанием. Смысл П. с. в русском языке передается при помощи следующих выражений: конъюнкция - с помощью союзов «и», «а», «но», «хотя» и др.; дизъюнкция (нестрогая) — с помощью выражений: «или», «или, или оба»; импликация — с помощью выражений «если..., то», «влечет», «следует» (ср.: «Если А, то В», «А влечет В», «Из А следует В»); эквиваленция - с помощью выражений «эквивалентно», «равносильно», «тогда и только тогда», «если и только если»; отрицание — с помощью выражений «не», «неверно, что».
Другие термины: |
Архитектурный словарь Бизнес словарь Биографический словарь Большой энциклопедический словарь Исторический словарь Медицинский словарь Морской словарь Политический словарь Психологическая энциклопедия Психологический словарь Религиозный словарь Сексологический словарь Социологический словарь Строительный словарь Философский словарь Финансовый словарь Экономический словарь Этнографический словарь Юридический словарь Словарь воровского жаргона Словарь Даля Словарь Ефремовой Словарь имён Словарь компьютерного жаргона Словарь логики Словарь мер и весов Словарь нумизмата Словарь Ожегова Словарь русских фамилий Словарь символов Словарь синонимов |
EncBook.ru - словари и энциклопедии |