Cтраница 2
Аналогично могут быть образованы высказывательные функции, зависящие как от предметных, так и от булевых переменных. Например, пусть xlt х % и ха - предметные переменные высказывательной функции А ( %, х2, х3), а х4 - булева переменная. [16]
XL) T 6 К XL) T ] интерпретируются как предметные переменные соответствующих высказывательных функций и, значит, могут быть элементами произвольных множеств. [17]