Cтраница 4
Фонетический раздел включает наиболее общие правила чтения букв и буквосочетаний, а также объяснение произношения английских звуков. Грамматический раздел содержит правила образования и употребления наиболее простых грамматических форм английского языка. [46]
Среди последних можно выделить правила образования из знаков языковых выражений и правила преобразования одних выражений в другие. В случае химической символики правила оперирования знаками задаются в виде какой-либо теории. [47]
Теперь в этой формуле использованы все шесть атомов водорода, два атома углерода и один атом кислорода, как того требует молекулярная формула этанола. При этом выполнены все правила образования химических связей, поэтому написанную структурную формулу можно принять за возможную формулу для этанола. [48]
Введя в исчисление предикатов термы, мы расширим также и правила образования формул. Именно, к элементарным формулам присоединим слова, полученные заменой произвольной предметной переменной в элементарном предикате любым термом. [49]
Но логические проблемы, связанные с вопросами о парадоксах и доказательствами непротиворечивости и полноты, имеют смысл не только в плане устранения трудностей обоснования математики. Заметим, что приведенное выше описание построения научной теории в виде логического формализма, содержащего не только систему аксиом, но и правила образования понятий и вывода следствий, нуждается в некотором уточнении. Правильнее было бы сказать так: если в старом понимании формально-дедуктивной теории формулировался только первый - шаг индукции: задавались исходные понятия и предложения, та теперь формулируется и второй: задается способ, как, имея уже некоторый запас введенных понятий и доказанных предложений, получить с их помощью новые. Этот индуктивный прием построения современной формально-дедуктивной теории позволяет обозреть всю совокупность принадлежащих ей понятий и предложений и, таким образом, выяснить границы ее возможностей и характер дальнейшего развития, необходимого для преодоления этой ограниченности. Мы видим уже из этого, что создание общей теории дедуктивных формализмов диктуется и непосредственными потребностями математики. [50]
Круглые скобки должны быть сбалансированы: число левых и правых скобок должно быть равно точно так же, как в арифметических выражениях. Действительно, если рассматривать знаки логических операций NOT, AND и OR по аналогии со знаками арифметических операций изменения знака, умножения и сложения, то все правила образования скобочных выражений в арифметике применимы для образования составных условий. Обратите внимание, что NOT рассматривается как операция, аналогичная операции изменения знака, а не операции вычитания. [51]
Задание схемы предполагает задание системы элементов 9ЛЧ, из которых она построена, с указанием для каждого элемента его канонических уравнений, а также отношения подчиненности выходов входам. Не всякая схема над 0.4 является логической сетью; так, например, в схеме, изображенной на рис. 2.16, б, два выходных канала соединены в полюсе zlt в то время как правила образования логической сети исключают возможность такого соединения. [52]
Как и другие языки, АЛГОЛ строится на основе алфавита, синтаксиса и семантики. Правила образования конструкций языка из символов составляют его синтаксис, а все, что связано с определением смысла этих конструкций, относится к семантике. [53]