Cтраница 3
Это - логическое следствие того, что охрана труда в нашей стране является функцией государства. [31]
Проблемы вывода логических следствий представляют собой основное содержание курсов математической логики и теории доказательства. Хотя, как известно, в наиболее интересных случаях задача разрешения неразрешима, тем не менее внимацие логиков все больше и больше привлекают такие фрагменты логических исчислений, где проблему разрешения удается решить. Как это сформулировал Н. А. Шанин, существуют два разных способа решения этой проблемы: один, который он называет алгорифм-оракул, и другой, который носит у него название интеллектуальный партнер [ с этой терминологией автор познакомился в докладах Н. А. Шанина по математической логике в Москве ( 1963 и 1964 годы), о ней также рассказывали Б. В. Бирюков и С. А. Яновская - участники Первого Всесоюзного симпозиума по проблеме машинного поиска логического вывода в гор. [32]
Формальное определение логического следствия на понятийном уровне очень простое, хотя технически довольно трудоемкое. На этом этапе читатель может без существенного ущерба для себя перейти прямо к разд. Оставшуюся часть данного раздела, а также следующий раздел при необходимости можно прочитать позднее. [33]
Формализуем понятие логического следствия применительно к логике высказываний. [34]
При нахождении простых логических следствий из данных посылок мы использовали силлогистический многочлен, являющийся некоторой конъюнктивной нормальной формой конъюнкции посылок. Задача решалась геометрически, члены силлогистического многочлена определялись с помощью построения соответствующих диаграмм Венна. [35]
Предложение является логическим следствием какого-либо множества предложений тогда и только тогда, когда оно является следствием некоторого конечного подмножества этого множества. [36]
К не есть логическое следствие Р и Q в рамках логики высказываний. Это происходит потому, что в логике высказываний структура Р, Q и R не используется. Позднее станет ясно, что большая часть повседневного и математического языка можетбыть формализована логикой первого порядка. [37]
Под заключением понимается логическое следствие из посылок. Сила метода заключается в том, что знания из области математики здесь не нужны. [38]
Закон причинности отражает логические следствия действий человека. [39]
Рассматриваемый закон есть логическое следствие диалектической историчности природы: ничто не может индивидуально сначала умереть, а лишь потом родиться или пройти развитие от старости к молодости. Данное обстоятельство необходимо четко осознать при рассмотрении экологических процессов типа сукцессии. [40]
Формула В называется логическим следствием формулы Л, если импликация А В тождественно истинна - это частный случай общего понятия логического следствия для одночленной посылки. [41]
Этот параметр является логическим следствием предыдущего. [42]
Формула С является логическим следствием конечного множества Е тогда и только тогда, когда Е [) - - 1С невыполнимо. В этом состоит принцип дедукции. Заметим также, что множество Е невыполнимо тогда и только тогда, когда Л - его логическое следствие. [43]
Формула Н является логическим следствием формул GI... [44]
Формула Н является логическим следствием формул Gi... [45]