Cтраница 1
Внешние скобки всегда будем опускать, и вообще везде, где не возникает двусмысленностей, будем пользоваться минимумом скобок. Кроме того, всегда предполагаем, что свободные и связанные переменные обозначены разными буквами, и если один квантор находится в области действия другого, то переменные, связанные этими кванторами, также обозначены разными буквами. [1]
Внешние скобки всюду опускаются. [2]
Внешние скобки не пишутся. [3]
Внешние скобки спецификации формата не рассматриваются как скобки, ограничивающие группу. [4]
В выражении (5.2) внешние скобки обозначают скалярное произведение. Определение (5.2) - (5.3) позволяет считать функцию ZO дифференцируемой во всех точках допустимой области, в том числе и в точках, где пересекаются гиперповерхности отклика запасов работоспособности, если, конечно, функции запасов являются непрерывно дифференцируемыми. [5]
Процессор просто удаляет внешние скобки поставляет внутренность без внимания. [6]
При этом, если 91 имеет внешние скобки, то в формуле 91 будем их опускать. [7]
Образец УДАЛ удаляет из инфиксного выражения внешние скобки. Образцы ПМОБР и УДОБР разбивают инфиксное выражение на два выражения и знак операции в соответствии с соглашением о левой ассоциативности. Эти образцы отличаются только тем, что первый из них позволяет найти операции сложения и вычитания, а второй - умножения и деления. [8]
Мы будем в дальнейшем пользоваться соглашением об опускании внешних скобок, принятом в § 2 главы 1, Заметим, что формулу исчисления высказываний можно рассматривать как формулу некоторой сигнатуры, если считать, что символы пропозициональных переменных являются нульместными предикатными символами. [9]
Однако в целях сокращения записи мы часто будем опускать внешние скобки. [10]
Поскольку в параметре COND записано только одно условие, то внешние скобки в формате опускаются. [11]
Мы пользуемся обычными правилами сокращенного написания формул: не пишем внешние скобки, конъюнкция и дизъюнкция считаются связывающими сильнее, чем импликация. Вообще, на протяжении всей книги мы будем систематически отождествлять формулы, отличающиеся лишь переименованием связанных переменных, и, в частности, в выводах свободно заменяем такие формулы друг на друга. Так как язык 17 может содержать несколько сортов переменных, следует отметить, что переменная х и терм t в схемах 11) и 13) имеют один и тот же сорт. Напомним, что - есть сокращение для ( р D - L. Далее, схема аксиом 9) является лишней - она выводится с помощью 10) и остальных аксиом. [12]
Снова обращаясь к рис. 1.5, заключаем, что это правило вызывает в совокупности пять упрощений в большем из деревьев; лишними являются самые внешние скобки и скобки, окружающие В, а также верхние скобки в левой ветви дерева и две пары верхних скобок в правой его ветви. [13]
Во-вторых, если в пропозициональную форму входит связка лишь одного вида ( то есть -, -, v, &), то для каждого вхождения этой связки будем опускать внешние скобки у той из двух форм, соединяемых этой связкой, которая стоит слева. [14]
Типы данных, допускаемые языком Лисп, в своей первоначальной форме мало пригодны для представления текстуальной информации, поэтому в обоих пакетах используется специальная форматирующая функция HREAD, превращающая список в текст по следующим правилам: внешние скобки списка всегда опускаются; если в списке фигурирует специальный символ &, то делается перенос строки и снимаются скобки соответствующего уровня списка. [15]