если вместо переменных "х" и "у" поставить соответственно аргументы "окись", "Российская Федерация". Получаем: "окись меди", "граница Российской Федерации".
  Пропозициональная функция • выражение, содержащее переменные и превращающееся в высказывание при постановке вместо переменных соответствующих аргументов. Примерами пропозициональных функций могут служить:
  а) "Если р, то q". Это выражение превращается Р высказывание, если вместо "р" и "q" подставить, например, аргументы "Студент учится на экономическом факультете" и "Он будет менеджером". В итоге получаем: "Если студент учится на экономическом факультете, то он будет менеджером".
  б) "X изучает немецкий язык". Это выражение превращается в высказывание, если вместо "X" подставить имя (фамилию) какоголибо человека: "Иванов изучает немецкий язык".
  в) "В том году Михайлов находился в служебной командировке", Здесь роль переменной выполняет местоимение "том", и, пока вместо него не поставлено наименование конкретного года, нельзя сказать, выражает это предложение истинную или ложную мысль.
  Операторы выражения, связывающие переменные. Особое значение среди операторов имеют кванторы или кван
  торные слова. Выражения "Для некоторого х верно, что ..." или "Существует х" называются кванторами существования. Выражение "Для всякох^о х верно, что ..." называется квантором общности. Связывание кванторами переменных в выражении дает истинное или ложное высказывание. Пусть в выражение "х больше 5" переменная "х" представляет действительные целые числа. Применив к этому выражению квантор существования, получаем истинное высказывание "Существует такое действительное целое число, которое больше 5". Применив к этому выражению

<<<назад<<< * перейти на стр. 1-233 * збірник літератури №12 * >>>далее>>>