帝吧圣人多，谁会离散数学，帮个忙。 - 李毅吧

level 11

凡凡在这楼主

若数a是实数，则它不是有理数就是无理数，若a不能表示成分数，则它不是有理数，a是实数且它不能表示成分数，所以a是无理数。Q：在自然推理系统P中构造下面推理的证明。

2012年12月25日 08点12分 1