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