离散数学题,求教用符号写出下列各式并验证论证的有效性.如果6是偶数,则7被2除不尽.或5不是素数,或7被2除尽.但5是素数.所以6是奇数.

问题描述:

离散数学题,求教
用符号写出下列各式并验证论证的有效性.
如果6是偶数,则7被2除不尽.
或5不是素数,或7被2除尽.
但5是素数.
所以6是奇数.