| The theory of abstract algebraic logic has also provided means to classify logics, with most results having been obtained for propositional logics. | Теория абстрактной алгебраической логики также содержит средства для классификации логик, при этом большинство результатов было получено для пропозициональных логик. |
| Formulas are built from tokens: variables, function symbols and predicate symbols, with the help of the propositional connectives, quantifiers and parentheses. | Формулы строятся из лексем: переменных, функциональных и предикатных символов, при помощи пропозициональных связок, кванторов и скобок. |
| Moreover, sentence meanings may be dependent upon propositional attitudes: those features that are relative to someone's beliefs, desires, and mental states. | Кроме того, значение предложения может зависеть от пропозициональных установок, формирующихся в соответствии с чьими-либо мнениями, желаниями, и психическими состояниями. |
| Some letters in the Polish notation table stand for particular words in Polish, as shown: Note that the quantifiers ranged over propositional values in Łukasiewicz's work on many-valued logics. | Некоторые буквы Польской записи означают конкретные слова на польском языке: Заметим, что в работе Лукасевича о многозначной логике кванторы упорядочены по пропозициональной ценности. |
| Classic theories in semantics (in the tradition of Alfred Tarski and Donald Davidson) have tended to explain the meaning of parts in terms of necessary and sufficient conditions, sentences in terms of truth-conditions, and composition in terms of propositional functions. | Классические теории семантики (в традициях Альфреда Тарского и Дональда Дэвидсона), как правило, объясняют смысл языковых единиц с точки зрения необходимых и достаточных условий, смысл предложения с точки зрения истинных условий, а композицию с точки зрения пропозициональной функций. |
| 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. | Таким образом, пропозициональные функции являются теми абстрактными инструкциями, которые позволяют собеседнику правильно заполнить переменные величины в свободном предложении и, следовательно, получить правильную информацию из предложения как единого целого. |