Словарь логики - пропозициональная связка
Пропозициональная связка
пропозициональная связка
операция, позволяющая из данных суждений (высказываний) строить новые суждения (высказывания). В логике высказываний высказывания (формулы) рассматриваются лишь с точки зрения их истинности или ложности. Если A и В к.-л. формулы (простые, элементарные или сложные, построенные из элементарных), то из них с помощью П. с. могут строиться новые формулы: А & В, AvB, A-> B, А = В, если А формула, то ~А также формула.
Символы «&», «v», «->», «=», «~» выражают П. с., которые определяются на семантическом, содержательно-алгоритмическом уровне при помощи таблиц истинности. Эти П. с. соответственно называются: конъюнкцией, дизъюнкцией, импликацией, эквиваленцией, отрицанием. Смысл П. с. в русском языке передается при помощи следующих выражений: конъюнкция с помощью союзов «и», «а», «но», «хотя» и др.; дизъюнкция (нестрогая) — с помощью выражений: «или», «или, или оба»; импликация — с помощью выражений «если..., то», «влечет», «следует» (ср.: «Если А, то », «А влечет », «Из А следует »); эквиваленция с помощью выражений «эквивалентно», «равносильно», «тогда и только тогда», «если и только если»; отрицание — с помощью выражений «не», «неверно, что». .Рейтинг статьи:
Комментарии:
Вопрос-ответ:
Похожие слова
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 375 | |
2 | 372 | |
3 | 364 | |
4 | 340 | |
5 | 339 | |
6 | 336 | |
7 | 329 | |
8 | 327 | |
9 | 326 | |
10 | 326 | |
11 | 321 | |
12 | 317 | |
13 | 315 | |
14 | 314 | |
15 | 312 | |
16 | 311 | |
17 | 310 | |
18 | 309 | |
19 | 308 | |
20 | 301 |