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

Пропозициональная функция (Бетран Рассел: «Словарь разума, материи и морали»)

«Пропозициональная функция» — это выражение, содержащее одну или несколько неопределённых составляющих х, у, ..., таких, что, установив их значения, мы получим высказывание. Так, «х — человек» — пропозициональная функция, поскольку, выбирая значение х, мы получаем высказывание: истинное высказывание, если х — Сократ или Платон, и ложное высказывание, если х — Кербер или Пегас. Значения, на которых это высказывание истинно, образуют класс людей. Каждая пропозициональная функция определяет некоторый класс — класс значений переменных, на которых она истинна.

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

Цитаты из следующих работ Б. Рассела: