Импликация.

Импликацией двух высказываний X,Y называется новое высказывание, которое называется ложным, если X истинно, а Y-ложно, и истинным во всех остальных случаях.

Импликация высказываний X,Y обозначается символом X=>Y, читается «если X, то Y» или «из X следует Y». Высказывание X называют условием или посылкой, высказывание Y – следствием или заключением, высказывание X=>Y- следованием или импликацией.

Логические значения операции импликации описываются следующей таблицей истинности:

Например, высказывание «Если число 12 делится на 6,то оно делится на 3», истинна, так как здесь истинна посылка «Число 12 делится на 6» и истинно заключение «Число 12 делится на 3».