Логическое ударение

Исчисление (формальная система), интерпретируемое в терминах какого-либо фрагмента дедуктивной логики (См. Логика). Различные Л. И. Служат базой для построения более богатых «нелогических» (например, математических) теорий. Примерами Л. И., используемых для указанной цели, служат исчисление высказываний и исчисление предикатов, различные их ослабления (см. Интуиционистская логика, Положительная логика, Минимальная логика), а также расширения, полученные добавлением к ним модальных операторов (в..

суждение (предложение, высказывание, формула), логически вытекающее (или, иначе, логически следующее) из посылок умозаключения (или из посылок вывода, состоящего из ряда умозаключений), т. Е. Выводимое из посылок на основе правил и законов логики.. ..

посёлок городского типа в Пинском районе Брестской области БССР, в 28 км от железнодорожной станции Пинск (на линии Брест — Лунинец). Молочный, известковый заводы.. ..

логовище, место долговременного отдыха, спячки или выведения детёнышей у некоторых млекопитающих. Л., в отличие от норы (См. Нора), устраивается на поверхности земли и обычно расположено в укромном месте. В густом кустарнике, зарослях тростника, в овраге, под навесом скалы или в пещере. Л. Устраивают шакалы, лисицы, волки, гиены, тигры, львы, кабаны. Л. Медведя называют берлогой (См. Берлога). Л., используемые кратковременно, называют лёжкой. Устраивают их зайцы, грызуны и большинство копытных...

ЛОГИЧЕСКОЕ УДАРЕНИЕ. ..