Cтраница 1
Тавтология ( Т ( з) называется законом упрощения. Тавтология ( Тш) есть закон перестановки посылок. Формула ( Т16) известна как закон Фреге. [1]
Тавтология это комбинация высказываний, которая всегда истинна независимо от истинности или ложности составляющих ее высказываний. [2]
Тавтологии этого типа называются пропозициональными тавтологиями. [3]
Тавтология ( Т [ з) называется законом упрощения. Тавтология ( Tis) есть закон перестановки посылок. Формула ( Т16) известна как закон Фреге. [4]
Тавтология ( Tsi) называется законом dictum de omni. Формулы ( Tsi) - ( Тзт) - законы де Моргана. [5]
Тавтологии замечательны тем, что многие из них могут быть использованы для выражения логических законов. [6]
Тавтологии этого типа называются пропозициональными тавтологиями. [7]
Тавтология терминов на данном этапе может показаться странной. [8]
Тавтологией называется булева формула, принимающая значение 1 на всех наборах значений ее переменных. [9]
Все тавтологии, кроме ( 12), не общезначимы также на подалгебре Л2 алгебры Л ], состоящей из элементов О, О, С. [10]
Каждая тавтология выводима из аксиом. [11]
Если тавтология, простое повторение в предикате того, что уже было высказано в субъекте, - если это составляет аксиому, то мы имеем здесь аксиому чистейшей воды. В субъекте г-н Дюринг говорит нам, что бытие охватывает все, а в предикате он бесстрашно утверждает, что в таком случае ничто не существует вне этого бытия. [12]
Если тавтология, простое повторение в предикате того, что уже было высказано в субъекте - если это составляет аксиому, то мы имеем здесь аксиому чистейшей воды. В субъекте г-н Дюринг говорит нам, что бытие охватывает все, а в предикате он бесстрашно утверждает, что в таком случае ничто не существует вне этого бытия. [13]
Получается смешная тавтология: конечно, если нет государства, то нет и вопроса о его границах. Тогда не нужна и вся демократически-политическая программа. [14]
Пользуясь тавтологией 32 из теоремы 2.4, мы можем получить из формулы, содержащей -, эквивалентную формулу, в которой - отсутствует. [15]