摘要：
证明技巧：思路图 使用公理系统时，证明的「构思过程」与证明的「书写过程」大相径庭。思考过程往往从最后一步开始，逐步规约。来看两个例子 传递律的证明 \[A\rightarrow B, B\rightarrow C\vdash A\rightarrow C \] Thinking & Writing. 阅读全文
摘要：
T1 证明\(\neg A\rightarrow B, \neg A\rightarrow \neg B \vdash A\) 可用定理：\(\vdash (\neg A\rightarrow A)\rightarrow A\) Proof \[\begin{aligned} A_1:\quad & 阅读全文
摘要：
请为一切不真实之物感到骄傲，因为我们高于这个世界！ “请不要说出如此缺乏想象力的话，梅姬斯图斯卿。幽夜净土当然是夜鸦的国度。”说着，尊贵的书记官奥兹华尔多·赫芙那梵茵斯为一行人打开了礼堂的大门。在礼堂的中央，无数夜鸦的环绕簇拥下，断罪的皇女菲谢尔·冯·露弗施洛斯·那菲多特庄严宣告：“欢愉吧，我的子民 阅读全文