Если..., то...» — условное суждение, или импликация.

Введем некоторую терминологию. В условном суждении

А→В

Суждение слева от стрелки будем называть основанием, а суждение справа от стрелки – следствием.

Предположим, что Вы даете следующее обещание: «Если я пойду на лекцию по логике, то поеду с тобой на море».

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

Строка:

A	B		A®B
И	И		И

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

Строка:

A	B		A®B
И	Л		Л

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

Строки:

В итоге получается следующая таблица:

A	B		A®B
И	И		И
И	Л		Л
Л	И		И
Л	Л		И