Cтраница 3
Это правило вместе с правилами отбрасывания ( с) и ( d) и аксиоматически отброшенным выражением Если всякое С есть В и всякое А есть В, то некоторое А есть С дает нам возможность отбросить любое ложное выражение системы. Кроме того, мы предполагаем как данные четыре принятые аксиомы силлогистики, определения посылок типа Е и О, правила вывода для принятых выражений и теорию дедукции в качестве вспомогательной системы. Таким путем еаходит свое решение проблема разрешимости: для любого данного осмысленного выражения системы мы можем решить, истинно ли оно и может ли быть принято, или же оно ложно и должно быть отброшено. [31]
Однако изменение температуры окружающей двигатель среды защита учитывать не мсжет. Она имеет высокий kB пускового органа и поэтому может начинать работу при токах более близких к / дв ном, чем простые токовые защиты; имеет лучшие характеристики выдержки времени, соответствующие принятому выражению для перегрузочной характеристики двигателя. [32]
Если в уравнение ( 1896) подставить выражение для f, то окажется, что величина k должна быть обязательно положительной, как и в предыдущем примере. А это значит, как следует из выражения ( 187а), что получаются экспоненциально нарастающие ( а не затухающие) волны. Если бы аргумент в принятом выражении отклика был взят с противоположным знаком, как было сделано в первом примере ( см. выражение ( 174)), то волны оказались бы затухающими; с другой стороны эта проблема не возникала для упругой среды, поскольку для нее решения вида ( 174) и вида ( 187а) имеют одинаковый характер. Для того чтобы получить правильный результат, нужно только изменить знак k, а все остальное оставить прежним. [33]