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