| A variety of formalisms have been used, including propositional and predicate calculi; deontic, temporal and non-monotonic logics; and state transition diagrams. | Использовались различные формализмы, в том числе пропозициональные и предикатные исчисления; деонтические, темпоральные (временные) и немонотонные логики; и диаграммы перехода состояний. |
| Roughly, propositional functions are those abstract instructions that guide the interpreter in taking the free variables in an open sentence and filling them in, resulting in a correct understanding of the sentence as a whole. | Таким образом, пропозициональные функции являются теми абстрактными инструкциями, которые позволяют собеседнику правильно заполнить переменные величины в свободном предложении и, следовательно, получить правильную информацию из предложения как единого целого. |