Cтраница 2
Термы являются наиболее простыми выражениями и потому называются элементарными выражениями. [16]
Термин индивидуальный предикат мы до сих пор употребляли только для элементарных выражений Р ( х), Q (, У) У х У, Расширим теперь его смысл и будем называть индивидуальным предикатом каждую формулу арифметики, которая содержит предметные переменные и не содержит переменных предикатов. [17]
В первом из них путем суперпозиции произведена операция объединения нескольких элементарных выражений в сложное. В третьем выражении использована операция дизъюнкции. [18]
Получив - в ( З) и ( 4) те же элементарные выражения, до которых мы дошли в конце нашего анализа ( L), мы теперь переходим от них их левым эквивалентам, применяя положения, на которых основывались последовательные Преобразования. [19]
Но наряду с теорией разрешимости важной задачей является разработка методов вычисления решений; для достижения этой цели явные и элементарные выражения основных сингулярных решений служат существенным инструментом: эти решения весьма просто порождают полные совокупности частных решений, которые позволяют выразить явно приближенные значения искомых решений различных задач ( см. гл. [20]
В одной и той же фразе возможно наличие нескольких элементарных высказываний, поэтому необходимо уметь записывать композиции элементарных выражений. Это обеспечивается отношениями ЯП. [21]
Доказательство теоремы ( ТА), согласно которой всякое осмысленное выражение аристотелевской логики может быть сведено к элементарным выражениям, в скрытом В иде содержится в доказательстве аналогичной теоремы для теории дедукции. [22]
Разнообразие приемов программирования показывает необходимость допущения для автокода управляющих ЦВМ любого арифметического выражения в качестве операнда с элементарными выражениями всех типов, включая метки и счетчик команд. [23]
Просмотрим справа налево символы графика схемы, начиная с оператора Q, до тех пор, пока не встретим элементарное выражение А, содержащее какой-либо оператор. Очевидно, после элементарного выражения Л и геред оператором Q будет стоять некоторое количество правых знаков перехода. [24]
Просмотрим справа налево символы графика схемы, начиная с оператора Q, до тех пор, пока не встретим элементарное выражение А, содержащее какой-либо оператор. Очевидно, после элементарного выражения А и перед оператором Q будет стоять некоторое количество правых знаков перехода. [25]
Итак, CCCpqpp сводится к двум выражениям: CpCNqCNpr и CpCNpr оба с переменной р в антецеденте, оба - элементарные выражения. [26]
X; iw I p, rj R - Для образования более сложных выражений допускается введение операций конъюнкции и дизъюнкции между элементарными выражениями, а также операция отрицания, которая может быть использована как для элементов из R, так и для элементарных выражений. [27]
Правило RS используется в этом выводе 10 раз, a и р всегда являются простыми отрицательными выражениями, а 1 повсюду выступает как элементарное выражение. [28]
Сферическую аберрацию можно намного лучше определить по физической тени тонкой проволоки, но обсуждение этого случая не может быть проведено на основе использования элементарных выражений и рассматриваться здесь не будет. [29]
Правила, как и обычно, имеют левую и правую части, причем левая часть ( здесь она называется головой) является конъюнкцией элементарных выражений, а правая ( тело) - сложная формула, термами которой являются элементарные выражения, связанные обычными предикатными символами типа implies: -, implied by: -, equivalent: -, AND, OR и NOT. [30]