На числовой прямой даны три отрезка: P=
\(¬\(x ∈ A\) → ¬\(x ∈ P\)) и \(¬\(x ∈ Q\) → \(x ∈ R\))
тождественно различны, то есть принимают разные значения при любом значении переменной х.