Словарные статьи: substitutional quantification

Предложение, содержащее квантификатор как правило определяется путем присвоения значений содержащим их переменным. Значения рассматриваются в качестве "объектов"; таким образом устанавливается объектная квантификация. В том случае если рассматривается субститутивная квантификация выражения подставляются в переменную и результат выводится согласно тому получаются или нет истинные предложения. Субститутивные квантификаторы как правило обозначаются Σ или Π. Выражение (Σx)(логики это x) должно быть оценено как истинное, в том случае если существует истинное предложение "логики это ...".

white_rabbit 03.05.11 в 14:56