Пропозициональная функция - Propositional function

В пропозициональное исчисление, а пропозициональная функция или предикат это предложение, выраженное таким образом, которое предполагает ценность истинный или же ложный, за исключением того, что в предложении есть Переменная (Икс), который не определен или не указан (таким образом, свободная переменная ), что оставляет утверждение неопределенным. Предложение может содержать несколько таких переменных (например, п переменные, и в этом случае функция принимает п аргументы).

Обзор

Как математическая функция, А(Икс) или же А(Икс1, Икс2, ..., Иксп) пропозициональная функция абстрагируется от предикаты или пропозициональные формы. В качестве примера рассмотрим схему предикатов «x is hot». Замена любого лица на Икс создаст конкретное суждение, которое может быть описано как истинное или ложное, даже если "Икс is hot "сам по себе не имеет значения как истинное или ложное утверждение. Однако, когда значение присваивается Икс , Такие как лава, тогда функция будет иметь значение истинный; в то время как один назначает Икс значение вроде лед, тогда функция будет иметь значение ложный.

Пропозициональные функции полезны в теория множеств для формирования наборы. Например, в 1903 г. Бертран Рассел написал в Принципы математики (стр.106):

"... возникла необходимость принять пропозициональная функция как примитивное понятие.

Позже Рассел исследовал проблему того, являются ли пропозициональные функции предикативными или нет, и он предложил две теории, чтобы попытаться решить этот вопрос: зигзагообразную теорию и разветвленную теорию типов.[1]

Пропозициональная функция или предикат в переменной Икс является открытая формула п(Икс) с участием Икс это становится предложением, когда кто-то дает Икс определенное значение из набора значений, которые он может принимать.

В соответствии с Кларенс Льюис, "А предложение любое выражение, которое является истинным или ложным; пропозициональная функция - это выражение, содержащее одну или несколько переменных, которое становится пропозицией, когда каждая из переменных заменяется одним из ее значений из область дискурса лиц ".[2] Льюис использовал понятие пропозициональных функций, чтобы ввести связи, например, пропозициональная функция от п переменные - это отношение арность п. Случай п = 2 соответствует бинарные отношения, из которых существуют однородные отношения (обе переменные из одного набора) и разнородные отношения.

Смотрите также

Рекомендации

  1. ^ Плитка, Мэри (2004). Философия теории множеств: историческое введение в рай Кантора (Дуврский ред.). Минеола, Нью-Йорк: Dover Publications. п. 159. ISBN  978-0-486-43520-6. Получено 1 февраля 2013.
  2. ^ Кларенс Льюис (1918) Обзор символической логики, стр. 232, Калифорнийский университет Press, второе издание 1932 г., Дуврское издание 1960 г.