-
形式理論
鎖定
形式理論(formal theory)一種語句集合，由獷中一些語句構成的集合稱為羅中的一個形式理論。
- 中文名
- 形式理論
- 外文名
- formal theory
簡稱理論.以理論T為出發點，可以構成如下的(一階)形式系統二二(參見“形式推演系統”):
1. TC7}的公理有兩類，一類是非邏輯公理，即T中的語句;一類是邏輯公理，包括命題公理、量詞公理、等詞公理.
2.二二的推理規則有分離規則和推廣規則.
- 詞條統計
-
- 瀏覽次數：次
- 編輯次數：4次歷史版本
- 最近更新： lndbsml239