ω規則
ω規則(ω一rule)。邏輯的一種推演規則.設}_ {+, " ,s,o}.下列的推演規則稱為。規則:對丫中任何公式抓x),都可由抓0) ,抓1),抓2),"..}推出}/ x抓x).
相關詞條
ω規則
ω規則
(ω一rule)。邏輯的一種推演規則.設}_ {+, " ,s,o}.下列的推演規則稱為。規則:對丫中任何公式抓x),都可由抓0) ,抓1),抓2),"..}推出}/ ...
熱門詞條
胡椒餅
當樂遊戲中心
鵝掌藤
美國之聲
霍山石斛
Baby Tonight
葉玉卿
Hater
賈森·基德
File
清翼居旅店
蜂巢
移動城堡
女人
螺旋藻
ipkn
VENICE
apache
宮地由梨香
台74線
學習
愛如潮湧
監獄學園
蝴蝶袖
鄭博文
拱心石
水巷
醫見鍾情