Beta
進入詞條
清除歷史記錄
關閉
反饋
分享
複製鏈接
請複製以下鏈接發送給好友
https://baike.baidu.hk/item/非邏輯公理/22654734
非邏輯公理
鎖定
非邏輯公理(non-logical axiom)亦稱“專有公理”。用形式語言把一個理論寫成形式系統時,除邏輯公理以外的初始公式。
[1]
中文名
非邏輯公理
外文名
non-logical axiom
定 義
用形式語言把一個理論寫成形式系統時,除邏輯公理以外的初始公式
別 稱
專有公理
參考資料
1.
金炳華等編
.哲學大辭典(修訂本) (上、下冊)
:上海辭書出版社
,2001年06月第1版
:第355頁
圖集
非邏輯公理的概述圖(1張)
詞條統計
瀏覽次數:
次
編輯次數:5次
歷史版本
最近更新:
青青的麦田year
(2024-02-20)
Beta
進入詞條
清除歷史記錄
關閉
反饋
登錄