Cтраница 1
Элементарная формула или ее отрицание, входящие в правильно построенную формулу, называются литерами, а дизъюнкция литер называется простым дизъюнктом. [1]
Элементарная формула ( а 6) есть простейшая левая формула. [2]
Элементарные формулы пригодны для расчета максимальных касательных и нормальных напряжений в стеклопластиках в тех случаях, когда разрушение происходит вдали от места приложения сосредоточенной нагрузки. [3]
Остальные элементарные формулы заменим символами И и Л произвольным образом, но так, чтобы одинаковые выражения заменялись одинаковым образом. [4]
Общая элементарная формула его СпНо 28п Оолэп показывает, что этот продукт отнюдь не является углем или коксом, как его часто называют. [5]
Общая элементарная формула оксикислот, выделенных Денисоном, имеет вид от Cn. [6]
Частью элементарной формулы является она сама. [7]
Согласно элементарной формуле, максимальное давление пузырька равно Рта - 2у / г, где г - радиус поперечного сечения круглой трубки, а Р - давление с поправкой на гидростатическое давление, соответствующее глубине погружения трубки. [8]
Элементарной формулой называется выражение ( а) б ( Ь), где а и Ь - величины. Формулой называется выражение ( А) 6 ( В), где А и В - формулы. [9]
Элементарной формулой называется выражение баб, где а и Ь - величины. Формулой называется выражение GAB, где А и В - формулы. [10]
Элементарными формулами являются либо формульные переменные без аргументов, либо формульные переменные со свободными индивидными переменными в качестве аргументов. [11]
Элементарными формулами мы будем считать: формульные переменные без аргументов, формульные переменные с аргументами, каждый из которых является либо термом, либо функционалом, и равенства между термами. [12]
Элементарными формулами считаются формульные переменные без аргументов, формульные переменные с аргументами, каждый из которых - либо терм, либо функционал, и, кроме того, равенства термов. [13]
Элементарными формулами считаются формульные переменные с термами в качестве аргументов и равенства между термами. [14]
Элементарными формулами рекурсивной арифметики являются равенства между термами, а класс всех формул строится из элементарных формул с помощью операций исчисления высказываний. Термами являются свободные цифровые переменные, знак 0 и знаки для функций. [15]