2013-03-07から1日間の記事一覧
仮定が親切過ぎたかと思い formulas(assumptions). all x all y all z (x <= y <-> (x < y | x = y)). all x all y all z (x < y & y < z -> x < z). all x -(x < x). end_of_list. に変更しても,ご覧の通りです. ============================== PROOF ==…
仮定が親切過ぎたかと思い formulas(assumptions). all x all y all z (x <= y <-> (x < y | x = y)). all x all y all z (x < y & y < z -> x < z). all x -(x < x). end_of_list. に変更しても,ご覧の通りです. ============================== PROOF ==…