" 0 C F G H K L N P S T W Z А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Э Ю Я

ПРОПОЗИЦИОНАЛЬНАЯ ФУНКЦИЯ

Значение ПРОПОЗИЦИОНАЛЬНАЯ ФУНКЦИЯ в математической энциклопедии:

функция, аргументами и значениями к-рой являются истинностные значения. Этот термин употребляют, когда речь идет об интерпретации формализованного логич. языка.

Если W - множество истинностных значений формул данного языка, то П. ф.- это любое отображение вида . Этими функциями интерпретируются пропозициональные связки, позволяющие образовывать из предложений .или формул новые предложения или формулы. При классической двузначной интерпретации множества истинностных значений, т. е. когда W={0,1}, такие функции наз. также функциями алгебры логики. В. Н. Гришин.