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

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

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


  1. пропозициональная связка—символ формального языкаi служащий для обозначения логической операцииi с помощью крой из данных высказываний можно получать новые высказывания. Важнейшими П. с. являются...Математическая энциклопедия
  2. пропозициональная связка—propositional connective...Русско-английский технический словарь
  3. пропозициональная связка—операция позволяющая из данных суждений высказываний строить новые суждения высказывания. В логике высказываний высказывания формулы рассматриваются лишь с точки зрения и...Словарь логики