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