Cтраница 1
Выводимые формулы 9 и 10 обязательны в качестве аксиом. [1]
Выводимые формулы применимы одинаково, как в теории упругости, так и в гидромеханике, только смысл величин, входящих в формулы, - разный, хотя обозначаются они одинаково. [2]
Приведем выводимые формулы ( теоремы) и правила, соответствующие теоремам и правилам исчисления предикатов первого порядка. [3]
Всякая выводимая формула этого исчисления приемлема с интуиционистской точки зрения; более сложен вопрос о полноте описанного исчисления. [4]
Всякая выводимая формула, не содержащая ни формульных переменных, ни связанных индивидных переменных, является верифицируемой. [5]
Всякая выводимая формула без связанных индивидных и без формульных переменных, но со свободными индивидными переменными является верифицируемой. [6]
Каждая выводимая формула 23 исчисления предикатов выводима из 91, если только выражение 91 - 23 не содержит коллизии переменных. [7]
Подстановкой в выводимые формулы исчисления ] высказываний можно легко получить многие выводи - мые формулы исчисления предикатов; однако таким об - j разом всякую выводимую формулу исчисления преди катов вывести нельзя. [8]
Очевидно, аналогичную выводимую формулу можно получить для функции а с любым числом переменных. [9]
Если в выводимой формуле 91 заменить произвольную свободную предметную переменную термом, не содержащим таких переменных, которые были бы связаны в формуле 51, то полученная при этом формула 51 также будет выводима. [10]
Но 51 - выводимая формула; она может быть получена подстановками в аксиому II. [11]
Имеются з виду выводимые формулы. [12]
Если 51 - выводимая формула, то формула 5Г, ценная из 51 заменой любой свободной предметной пере менной другой предметной переменной или индивидуаль ным предметом, всюду, где эта переменная входит в также является выводимой. [13]
Покажем, что выводимым формулам исчисления предикатов соответствуют выводимые формулы исчисления высказываний. [14]
Следовательно, всякая интуиционистски выводимая формула является 3-тавтологией. Теперь заметим, что формула pV - ip принимает значение Н прир Н и потому не является 3-тавтологией - значит, невыводима. [15]