Словарь логики - отношение
Отношение
Число переменных в функции характеризует число мест, на которые могут подставляться имена предметов. Так, пропозициональная функция Р(х) является функцией с одной переменной и соответствует свойству; пропозициональная функция xRy с двумя переменными соответствует двухместному О.; пропозициональная функция R(x, у, z) с тремя переменными соответствует трехместному О.
и т. д. Примером одноместного предиката и соответствующей ему пропозициональной функции от одной переменной может быть функция «четное число (х)» или «x — четное число». Она соответствует свойству «быть четным числом». Примером двухместного предиката и соответствующей ему пропозициональной функции от двух переменных может быть функция «х больше у».
Она соответствует двухместному О. «больше». Примером трехместного предиката и соответствующей ему пропозициональной функции от трех переменных может быть функция «х находится между у и z». Она соответствует трехместному О. «находиться между». Свойство, таким образом, представляет собой такую характеристику предмета, приписывание которой одному-единственному индивиду приводит к образованию либо истинного, либо ложного суждения. Так, подставив в функцию «х четное число», соответствующую свойству, вместо переменной х индивид 4, мы получим истинное суждение «4 четное число». Произведя вместо х подстановку числа 5, мы получим ложное суждение. О.же есть такая характеристика, которая для образования либо истинного, либо ложного суждения требует по меньшей мере приписывания ее двум предметам. Так, подставив вместо х и у в функцию «х больше у» числа 5 и 3, мы получим истинное суждение «5 больше 3»; подставив же числа 1 и 2, мы получим ложное суждение «1 больше 2». Если же мы припишем О.
«больше» одному предмету, напр. числу 3, то получим выражение «3 больше», которое не образует истинного или ложного суждения, а является бессмысленным выражением. .Вопрос-ответ:
Похожие слова
Самые популярные термины
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 |