[Сергей Безымянцев]

Увидев два непонятных слова
Виталий А пишет:

Не от того бывает почему, что вообще и в частности нет никакого сумления.

Чтож, продолжим ликбез:

Импликация - (от лат. implicatio - сплетение, от implico — тесно связываю) - логическая связка, соответствующая грамматической конструкции «если ..., то ...», с помощью которой из двух простых высказываний образуется сложное высказывание.

Коммутативность [позднелат. commutativus — меняющий (ся), от лат. commute — меняю (сь)], переместительность, переместительный закон, свойство сложения и умножения чисел, выражаемое тождествами: а+b=b+a, ab =ba. В более общем смысле действие а * b называется коммутативным, если а*b=b*a. Свойством К. обладают, например, сложение и умножение многочленов; векторное умножение (см. Векторное произведение) не является коммутативным, так как [a, b]=[b, a].