首頁
隨機
附近
登入
設定
資助維基百科
關於Wikipedia
免責聲明
搜尋
分類
:
句法 (邏輯學)
語言
監視
維基共享資源
中相關的多媒體資源：
句法 (邏輯學)
本
分類頁面
的主條目是「
句法 (邏輯學)
」。
句法 (邏輯學)經常與
語義學
相對比。
子分類
此分類包含以下 6 個子分類，共 6 個。
形
形式系统
(5個分類， 7個頁面)
形式语言
(6個分類， 68個頁面)
推
推理规则
(16個頁面)
證
证明论
(4個分類， 19個頁面)
邏
邏輯符號
(1個分類， 5個頁面)
邏輯結果
(6個分類， 5個頁面)
「句法 (邏輯學)」分類中的頁面
此分類共有 7 個頁面，以下顯示其中 7 個。
原
原子句子
合
合式公式
命
命题
形
形式系統
推
推理规则
蘊
蕴涵
變
變數
