Cтраница 4
Определение значения каждого слова - эта программа, вызываемая в нужный момент анализа; она может производить произвольные вычисления, включающие данное высказывание и физическую ситуацию в данный момент. [46]
Логическая операция отрицания обозначается либо черточкой, проставляемой над символом, обозначающим высказывание, либо знаком 1, который ставится перед символом данного высказывания. [47]
Логическая операция отрицания обозначается либо черточкой, проставляемой над символом, обозначающим высказывание, либо знаком - 1, который ставится перед символом данного высказывания. [48]