ЛОГИЧЕСКОЕ СЛЕДОВАНИЕ

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