有人考邏輯學(xué)么？求解一道數(shù)理邏輯習(xí)題。。

藍(lán)色旅店 · 發(fā)表于 2011-12-29 10:44

用謂詞演算檢驗(yàn)(?*)是否等值于(?x)Ax∨(?x)Bx

lidaiwei · 發(fā)表于 2011-12-29 22:22

本帖最后由 * 于 2011-12-29 22:25 編輯

可證等值。
證明參見(jiàn)徐明《符號(hào)邏輯講義》例577

onlogos · 發(fā)表于 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)

引自徐明：《符號(hào)邏輯講義》第420頁(yè)，武漢：武漢大學(xué)出版社，2008年。符號(hào)略有改動(dòng)，并刪去了每一步的前提說(shuō)明。

		自動(dòng)登錄	找回密碼
密碼			注冊(cè)

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

[邏輯學(xué)] 有人考邏輯學(xué)么？求解一道數(shù)理邏輯習(xí)題。。

NEW最新資料推薦