Словарь логики - связка
Связка
связка
— в традиционной логике элемент простого суждения, соединяющий субъект и предикат. В повседневном языке С. обычно выражается словами «есть», «суть», «является» и т. п., напр.: «Узбеки являются жителями Средней Азии». В обыденной речи С. часто опускается и приведенное выше предложение обычно выглядит так: «Узбеки живут в Средней Азии». Однако даже если С. не выражена каким-то специальным словом, она обязательно присутствуют в суждении. Напр., два понятия «город» и «населенный пункт» образуют суждение только после того, как их соединит С. «Город есть неселенный пункт». Поэтому схематическое представление простого суждения включает в себя три элемента — субъект, предикат и связку: «5 есть Р». С. может быть утвердительной или отрицательной («есть» или «не есть»). Именно этим определяется качество простого суждения. В символической логике пропозициональными связками называют логические союзы (операторы), с помощью которых из простых высказываний получают сложные высказывания. К ним обычно относят отрицание, конъюнкцию, дизъюнкцию, импликацию и т. п. Условия истинности сложных высказываний, содержащих пропозициональные связки, формулируются посредством таблиц истинности. (См.: Суждение.) .
Рейтинг статьи:
Вопрос-ответ:
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 373 | |
2 | 371 | |
3 | 363 | |
4 | 339 | |
5 | 338 | |
6 | 335 | |
7 | 328 | |
8 | 325 | |
9 | 324 | |
10 | 324 | |
11 | 319 | |
12 | 316 | |
13 | 313 | |
14 | 313 | |
15 | 311 | |
16 | 310 | |
17 | 309 | |
18 | 308 | |
19 | 306 | |
20 | 299 |