每一个自然数不是奇数就是偶数,自然数是偶数当且仅当它能被2整除.并不是所有自然数都能被2整除

题目

每一个自然数不是奇数就是偶数,自然数是偶数当且仅当它能被2整除.并不是所有自然数都能被2整除
因此,有些自然数是奇数.符号化此命题,并推证其结论.

答案

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