Импликация. 
Характеристика логических операций умножения, сложения, отрицания и следования

Логическое следование — (от лат. implicatio сплетение, от implico тесно связываю) В естественном языке соответствует обороту если …, то …;

Импликация — логическое высказывание типа «если Р, то Q», соединяющее два элементарных высказывания — Р (антецедент) и Q (логическое следствие). В математической ЛОГИКЕ эти два высказывания не связываются. Существует материальная импликация, например, «если Земля плоская, тогда золото — металл». Материальная импликация ложна только в том случае, когда антецедент (причина по отношению к следствию) является истинным, а логическое следствие ложным, в других случаях она верна. В обычном рассуждении используется формальная импликация, при которой простые суждения связаны по смыслу, например, «если не будет дождя, мы пойдем на прогулку».

Обозначение Импликация записывается следующим образом Р=>Q (или Р>Q), что читается как «Р подразумевает Q».

Табл. 6.

Заключение

Между множествами (объемами понятий) могут быть различные виды отношений:

• — равнозначность, когда объемы понятий полностью совпадают;
• — пересечение, когда объемы понятий частично совпадают;
• — подчинения, когда объем одного понятия полностью входит в объем другого и т. д.

Для наглядной геометрической иллюстрации объемов понятий и соотношений между ними используются диаграммы Эйлера-Венна. Если имеются какие-либо понятия A, B, C и т. д., то объем каждого понятия (множество) можно представить в виде круга, а отношения между этими объемами (множествами) в виде пересекающихся кругов.