因为打不出任取和存在,故以下分别用∏,∑表示全称量词和存在量词.是非,∩∪是逻辑交并不是集合交并.E(x):x是偶数,O(x):x是奇数,F(x):x能被2整除.论域：所有自然数条件分别是：∏x ( E(x) ∩ O(x) ),∏x ( E(x)F(x) )...