Импликация

Это— логический союз, соответствующий трем смыслам союза «если, то». С его помощью образуются условные, или импликативные высказывания. Нужно помнить, что логический союз — это смысловая связь, поэтому по выражению грамматического союза нельзя однознач­но определить характер логической связи, или логический союз. Во-первых, один и тот же логический союз может выражаться разными грамматическими союзами. Например, из грамматики мы знаем такие союзы, как «а», «но», «да», «однако», «хотя, но», «тоже» и др., с помощью которых образуются сложносочиненные предло­жения. Все они выражают один и тот же логический союз «и». Во-вторых, один и тот же грамматический союз может выра­жать разные логические союзы. Например, союз «если, то», кро­ме трех видов условной связи, выражает также конъюнкцию, если его можно заменить союзом «а». Такая замена возможна, например, в предложении «Если вчера шел дождь, то сегодня стоит ясная погода». В-третьих, логические союзы могут вовсе не выражаться словами: высказывание «Тише едешь — дальше будешь»является условным, а отрывок «Ночь. Туман. Тишина. В стороне от дороги в лесу ухает филин, ветер тихо шумит в верхушках де­ревьев» представляет собой конъюнкцию, в которой логический союз «и» обозначен знаками препинания.

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

Высказыванием отрицания называется высказывание, образо­ванное от исходного с помощью оператора отрицания «невер­но, что».          _

Комментарии запрещены.