证明定理：
然后老师的逻辑是，证明α不是无理数的情况下，是整数，即可。
设A：α是等式...的根
设B：α是整数
设C：α是无理数
那么 证明就从 命题：
A → B or C 变化成了 A and 非C → B
请问这个怎么变换呢？