Объяснение

A --> B – импликация, то есть придикат, а А => B – следование, то есть высказывание. Иначе говоря:

Пусть A = P(x), B = Q(x), тогда верно следующее:

∀x (P(x) --> Q(x)) = P(x) => Q(x).

Важно заметить, что высказывание P(x) => Q(x) истинно тогда и только тогда, когда M ⊂ K, где M = {x: P(x)}, K = {x: Q(x)}.