Логическое Следствие

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

ЛОГИЧЕСКИЙ ЭЛЕМЕНТ простейшая структурная единица ЭВМ - выполняющая определенную логическую операцию над двоичными переменными. Реализуется обычно на электронных приборах (полупроводниковых диодах, транзисторах) и резисторах либо в виде интегральной микросхемы. Имеет несколько входов для приема сигналов, соответствующих исходным переменным, и выход для выдачи сигнала, соответствующего результату операций.. ..

ЛОГИЧЕСКОЕ исчисление - исчисление, символы и правила которого могут быть интерпретированы в терминах логики.. ..

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

ЛОГОГРАФЫ (от греч. Logos - слово - сочинение и ...граф), 1) первые представители исторической прозы в древнегреческой литературе (6-5 вв. До н. Э.). Записывали устные предания о мифических и исторических событиях, описывали чужие земли и быт народов.2) Составители судебных речей в Афинах (с кон. 5 в. До н. Э.) от имени клиентов применительно к их характеру, образованности и т. П. - для личных выступлений сторон на суде. Виднейшим из логографов был Лисий.. ..

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

из данного множества посылок - высказывание, являющееся истинным при любой интерпретации нелогич. Символов (т. Е. имен объектов, функций, предикатов), при к-рой истинны посылки. Если высказывание Аявляется Л. С. Из множества высказываний Г, то говорят, что Г логически влечет Аили что Алогически следует из Г. Если Г - множество предложений нек-рого формализованного логико-математич. Языка 1-го порядка, А - предложение того же языка, то отношение "А - логич. Следствие из Г" означает, что всяк..