Модус

Если верной, и В- А), то верно В . Формальные записи модуса толленс [c.150]

На втором шаге используют новый факт (5.18), а также правило ПО, заданное в постановке задачи (5.12), и ПВ модус толленс (5.6) для вывода требуемого заключения (5.14). [c.151]

Центр тяжести площади под кривой имеет, таким образом, определенный физический смысл. В общем случае центр тяжести отличается от величины, которая в статистике называется модусом и характеризует, например, точку перегиба интегральной кривой распределения (фронтальная кривая) или максимум дифференциальной кривой распределения (кривая проявительной хроматографии), причем модусу нельзя дать простую физическую интерпретацию. Положение центра тяжести не зависит от кинетических постоянных в области, где Вр пренебрежимо мало, и поэтому не зависит также от скорости, с которой устанавливается в колонке равновесие. [c.447]

Эффективный модУс /ь упругости [c.137]

Существует несколько попыток классификаций адаптивных форм эволюции — от очень простой (Северцов) до довольно сложной (Шмальгаузен). Мне представляется наиболее правильным и во всех отношениях наиболее удобным различать три основных типа, формы, или модусы, адаптивной эволюции — общий прогресс, специализацию и регресс. [c.512]

Как бы то ни было, мы можем заключить, что распространенность модуса прерывистого равновесия явно [c.37]

Рассмотрим сущность процедур не<<с/п/со< о дедуктивного вывода. Традиционный дедуктивный вывод (называемый также модус поненс — правило отделения) — это вывод Q из факта Р по правилу P=>Q, что записывают в виде [c.117]

В исчислении предикатов существует много различных ПВ. Обладая для ИП универсальной истинностью, они могут применяться либо для установления истинности утверждения в целом, либо для порождения заключения. Кроме того, ПВ можно использовать как отдельно, так и в сочетании с другими ПВ. Приведем некоторые основные ПВ модус поненс , модус толленс , двойного отрицания , введения конъюнкции , приведения к абсурду и специализации [16]. [c.149]

Правило модус понснс — ПВ в логике, которое утверждает Если выведены >1 и (А В), то В выводимо . Приведем два вида формальных записей для правила модус поненс [c.150]

Правило модус толлснс — логике, которое утверждает [c.150]

Прямой метод (от посылок) из посылок /4- В выводит заключение В (правило модус поненс ). Основной недостаток прямого метода рассуждения состоит в его ненаправленности повторные применения метода обычно приводят к резкому росту промежуточных заключений, не связанных с целевым заключением. [c.150]

Для доказательства (5.19) приведем структуру другой процедуры формального вывода, использующую ПВ модус поненс (5.8). [c.152]

Хотим ли мы исследовать ткань свежую или подвергшуюся обработке, мы должны вырезать двухсторонней бритвой слой ткани в 2—3 мм толщиной и площадью в 1 см" . Этот кусочек ткани с большой поверхностьк> и не очень большой толщиной нужно сначала оставить на воздухе для просушки или несколько высушить в сушильном шкафу, затем поместить на тонкую стеклянную пластинку и подвергнуть действию искры высокочастотного тока. Если препарат немного влажен, то искра появляется приблизительно по истечении минуты. Само собой разумеется, что спектрографическое исследование возможно и с гораздо меньшими кусочками ткани. Модус, о котором мы говорили выше, применим прежде всего в случае паренхиматозных органов, материал которых может быть получен в достаточном количестве. [c.27]

Еще на заре научной механики (1644 г.) Декарт высказал мысль о сохранении механического движения во вселенной. Ибо, хотя это движение только модус двйжимой материи, однако, его имеется в ней известное количество, никогда не возрастающее и не уменьшающееся, несмотря на то, что в некоторых частях материи его может быть то больше, то меньше [1] [c.75]

Модус (лат. modus — мера, способ)—философский термин, применявшийся в домарксистской философии и обозначавший свойство предмета, присущее ему лищь в некоторых состояниях, в отличие от атрибута ([2], стр. 278). [c.75]

Все три модуса принципа супероптимальности доказаны теоретически и проверены экспериментально. Применение первого модуса резко повышает скорость и селективность процесса за счет изменения степени превращения. Второй модус обеспечивает максимальную скорость основной реакции за счет изменения состава компонентов в общем питании реактора. При этом состав общего питания не лимитирован идентичностью со свежим питанием, так как рециркулят может состоять из некоторых продуктов реакции или инициирующих веществ. И, наконец, применением третьего модуса достигается подавление побочных реакций за счет изменения состава рециркулята веществами, участвующими в побочных превращениях, или ингибиторами. Теоретические доказательства всех трех модусов принципа супероптимальности приведены в ч етырех теоремах супероптимальности (гл. III). [c.70]

Тремя основными модусами отбора являются стабилизирующий, аправленпый и разнообразящий (диверсифицирующий). [c.496]

Любой из указанных выше модусов может привести к возникновению резко выраженной аберрантной формы. Но новый перспективный макромутант не даст начала новому таксону, если он не будет поддержан и обработан естественным отбором. Мутационный процесс доставляет лишь сырой материал эволюции, материал для направленного отбора. Даже самые многообещающие макромутанты должны под действием отбора подвергнуться дальнейшей моделировке и шлифовке. [c.511]

В последнее время на Луганской фармацевтической фабрике и на предприятии Модус (г. Борисполь, Киевская обл.) смонтированы технологические установки, позволяюпще осуществлять производство инфузионных растворов, качество которых отвечает всем требованиям ОМР. Производственные мошности этих предприятий рассчитаны на вьшуск 8 млн упаковок в год, чтх) обеспечит потребность здравоохранения Украины в инфузионных растворах только [c.117]

В 1983 г. Французский Национальный центр научных исследований провел в Париже крупную научную конференцию, специально посвященную проблемам пунктуализма, и впервые за последние годы значительное большинство докладчиков высказались в пользу преобладания в эволюции градуалистического способа видообразования. Во многих случаях исследователи отмечали также распространенность модусов видообразования, промежуточных между градуалистским и пунктуалистским. [c.36]

Представление о постоянно нарастающей в ходе эволюции дивергенции белковых молекул, идущей путем постепенной замены аминокислот, хотя и имеет широкое распространение (Молекулярные основы геносистематики, 1980 Ратнер и др., 1985 Эволюция генома, 1985), видимо, слишком узко, чтобы охватить все многообразие модусов эволюции. Общепризнанным стало представление и об огромной роли в эволюции белков дупликации генов (Оно, 1971 Дулиттл, 1985). Во многих случаях эволюция белков идет, по-видимому, путем перекомби- [c.144]

Справочник химика 21

Химия и химическая технология