Логическое Исчисление

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

Выполняющая определенную логическую операцию над двоичными переменными. Реализуется обычно на электронных приборах (полупроводниковых диодах, транзисторах) и резисторах либо в виде интегральной микросхемы. Имеет несколько входов для приема сигналов, соответствующих исходным переменным, и выход для выдачи сигнала, соответствующего результату операций.. ..

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

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