你算老幾
一阶逻辑 - 维基百科一群高中生正在福利社裡大吵大鬧。 忽然有人站出來訓斥他們,要他們別鬧了。 其中一個長得高高壯壯的學生很不高興的對那個人說:「你算老幾?」 只見那人從容不迫的回答道:「我不知道我老幾?但是大家都叫我老師...」 警察發現公園裡的池塘邊有一位釣客,正在享受垂釣樂趣。 警察:『難道你7.2 可能增加的推理规则 8 一阶逻辑的元逻辑定理 9 转换自然语言到一阶逻辑 10 一阶逻辑的限制 10.1 难于表达if-then-else 10.2 类型(种类) 10.3 难于刻画有限性或可数性 ......
全文閱讀