85632 (574888), страница 4
Текст из файла (страница 4)
Данная формула является открытой (первое вхождение переменной у не связано квантором) и формула содержит нульместный предикат (S). Значит, интерпретация будет состоять из четырех шагов.
-
Зададим множество, на котором будем рассматривать все предикаты: М=R, где R – множество действительных чисел.
-
Каждой предикатной букве ставим в соответствие предикат:
P(x, y): “x> y”; R(x,y,z): “xy=z”, S(z): “z=1”;
При данной интерпретации высказывание 
является ложным (читается: для любых действительных чисел x и y, x>y), 
- истинное высказывание (читается: существуют такие действительные числа x,y,z, что xy=z), 
- истинное высказывание (читается: существует такое действительное число z, что z=1). В результате получили высказывание, которое можно записать:
Значит, данная интерпретация обращает формулу логики предикатов в истинное высказывание.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
