Отношения следования

Возьмем два предложения: А – «х  кратно 4» и В – «х кратно 2». Они связаны между собой: любое число, кратное 4, будет кратно 2, или иначе: из того, что число кратно 4, следует, что оно кратно 2.

Говорят, что из предложения А следует предложение В, если всякий раз, когда истинно предложение А, истинно и предложение В и данные предложения находятся в отношении логического следования.

Высказывательная форма В(х) следует из высказывательной формы А(х), если В(х) обращается в истинное высказывание при всех тех значениях, при которых А(х) истинна.