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

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

Внимание! Этот перевод, возможно, ещё не готов.
Его статус: перевод редактируется

Переведено на Нотабеноиде
http://notabenoid.org/book/18091/59470

Переводчики: white_rabbit