2018年8月17日
UVA12167 Proving Equivalences
摘要： UVA12167 Proving Equivalences 题意翻译 题目描述 在数学中，我们常常需要完成若干命题的等价性证明。 例如：有4个命题a,b,c,d，要证明他们是等价的，我们需要证明ab，然后bc，最后cd。注意每次证明是双向的，因此一共完成了6次推导。另一种证明方法是：证明a b，然后 阅读全文
posted @ 2018-08-17 20:56 Tony_Double_Sky 阅读(102) 评论(0) 推荐(0) 编辑