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