求助！我知道九天十地最终会胜，但我用了离散数学的“数理逻辑”却推不出九天十地会胜。室友说我的方法不对，于是我结合“命题逻辑”+“等值演算”，但还是不行啊！于是我放弃吃早饭，我尝试了“形式演算系统”+“自然推理系统”+“公理推理系统”，然而并没有什么卵用。于是我放弃吃午饭，我开始精研“附加前提证明法”+“归谬法”+“消解证明法”，结果推出异域胜率100% ，于是我放弃吃晚饭，我将异域和九天十地会影响胜负的因素，分别用一阶逻辑命题进行符号化，再结合“一阶逻辑的推理理论”进行演算。妈蛋，还是算不出来。于是我反思逻辑推理，我开始结合前面的各种推理理论+证明方法+逻辑思维，进行更完善、更科学的综合性演算证明，然而还是证明不了啊！唉！楼主我现在已满头大汗，于是我认为我现有知识不足以证明这个逻辑问题，所以我发帖求助众吧友了……