Следование \(P \Rightarrow Q\) читается «из \(P\) следует \(Q\)»: \(P\) — условие, \(Q\) — заключение, менять их местами нельзя. Истинность следования зависит от множества, на котором рассматривается переменная.