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