85632 (Изучение функций в курсе математики), страница 4
Описание файла
Документ из архива "Изучение функций в курсе математики", который расположен в категории "". Всё это находится в предмете "математика" из , которые можно найти в файловом архиве . Не смотря на прямую связь этого архива с , его также можно найти и в других разделах. Архив можно найти в разделе "контрольные работы и аттестации", в предмете "математика" в общих файлах.
Онлайн просмотр документа "85632"
Текст 4 страницы из документа "85632"
Данная формула является открытой (первое вхождение переменной у не связано квантором) и формула содержит нульместный предикат (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). В результате получили высказывание, которое можно записать:
Значит, данная интерпретация обращает формулу логики предикатов в истинное высказывание.