Скачать

(x Î A) → ( (x Î P) º (x Î Q) )