Употребление условного высказывания связано с определенными психологическими факторами. Обычно мы формулируем такое высказывание, только если не знаем с определенностью, истинны или нет его антецедент и консеквент. В противном случае его употребление кажется неестественным («Если вата – металл, она электропроводна»).

Условное высказывание находит очень широкое применение во всех сферах рассуждения. В логике оно представляется, как правило, посредством импликативного высказывания, или импликации. При этом логика проясняет, систематизирует и упрощает употребление «если…, то…», освобождает его от влияния психологических факторов.

Логика отвлекается, в частности, от того, что характерная для условного высказывания связь основания и следствия в зависимости от контекста может выражаться с помощью не только «если…, то…», но и других языковых средств.

Например, «Так как вода жидкость, она передает давление во все стороны равномерно», «Хотя пластилин и не металл, он пластичен», «Если бы дерево было металлом, оно было бы электропроводно» и т. п. Эти и подобные им высказывания представляются в языке логики посредством импликации, хотя употребление в них «если…, то…» было бы не совсем естественным.

Утверждая импликацию, мы утверждаем, что не может случиться, чтобы ее основание имело место, а следствие отсутствовало. Иными словами, импликация является ложной только в том случае, когда ее основание истинно, а следствие ложно.

Это определение предполагает, как и предыдущие определения связок, что всякое высказывание является либо истинным, либо ложным и что истинностное значение сложного высказывания зависит только от истинностных значений составляющих его высказываний и способа их связи.

Импликация истинна, когда и ее основание, и ее следствие истинны или ложны; она истинна, если ее основание ложно, а следствие истинно. Только в четвертом случае, когда основание истинно, а следствие ложно, импликация ложна.

Импликацией не предполагается, что высказывания А и В как-то связаны между собой по содержанию. В случае истинности В высказывание «если А, то В» истинно независимо от того, является А истинным или ложным и связано оно по смыслу с В или нет.

Например, истинным считаются высказывания: «Если на Солнце есть жизнь, то дважды два равно четыре», «Если Волга – озеро, то Токио – большая деревня» и т. п. Условное высказывание истинно также тогда, когда А ложно, и при этом опять-таки безразлично, истинно В или нет и связано оно по содержанию с А или нет. К истинным относятся высказывания: «Если Солнце – куб, то Земля – треугольник», «Если дважды два равно пять, то Токио – маленький город» и т. п.

В обычном рассуждении все эти высказывания вряд ли будут рассматриваться как имеющие смысл и еще в меньшей степени как истинные.

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

В последние полвека были предприняты энергичные попытки реформировать теорию импликации. При этом речь шла не об отказе от описанного понятия импликации, а о введении наряду с ним другого понятия, учитывающего не только истинностные значения высказываний, но и связь их по содержанию.

С импликацией тесно связана эквивалентность, называемая иногда «двойной импликацией».

Эквивалентность – сложное высказывание «А, если и только если В», образованное из высказываний А и В и разлагающееся на две импликации: «если А, то В», и «если В, то А». Например: «Треугольник является равносторонним, если и только если он является равноугольным». Термином «эквивалентность» обозначается и связка «…, если и только если…», с помощью которой из двух высказываний образуется данное сложное высказывание. Вместо «если и только если» для этой цели могут использоваться «в том и только в том случае, когда», «тогда и только тогда, когда» и т. п.