精品日本亚洲一区二区三区,伊人久久狼人色精品无码 ,日鲁夜鲁天天鲁视频,国产精品久久亚洲,秋霞理论理论福利院久久,国产日韩欧美视频一区二区三区,色九九,国产精品美女久久久久久免费 ,九九干,韩国精品一区二区三区

考研論壇

標題: 有人考邏輯學么？求解一道數理邏輯習題。。 [打印本頁]

作者: 藍色旅店 時間: 2011-12-29 10:44
標題: 有人考邏輯學么？求解一道數理邏輯習題。。
用謂詞演算檢驗(?*)是否等值于(?x)Ax∨(?x)Bx

作者: lidaiwei 時間: 2011-12-29 22:22
本帖最后由 * 于 2011-12-29 22:25 編輯

可證等值。
證明參見徐明《符號邏輯講義》例577

作者: onlogos 時間: 2012-1-5 13:28
本帖最后由 onlogos 于 2012-1-5 13:42 編輯

1)  ?xA∨?xB→?x(A∨B)
2)  A→?xA
3)  B→?xB
4)  A∨B→?xA∨?xB
5)  ?x(A∨B)→?xA∨?xB
6)  → ?xA∨?xB ? ?x(A∨B)

引自徐明：《符號邏輯講義》第420頁，武漢：武漢大學出版社，2008年。符號略有改動，并刪去了每一步的前提說明。

歡迎光臨考研論壇 (http://www.5522pp.com/)