离散数学数理逻辑
例 构造下面推理的证明 P115
2是素数或合数.若2是素数,则 是无理数.若 是无理数,则4不是素数.所以,如果4是素数,则2是合数.