分類:句法 (邏輯學)

維基百科，自由的百科全書

維基共享資源中相關的多媒體資源：句法 (邏輯學)

子分類

此分類包含以下 6 個子分類，共 6 個。

形

形式系统‎ (5個分類， 7個頁面)
形式语言‎ (6個分類， 68個頁面)

推

推理规则‎ (16個頁面)

證

证明论‎ (3個分類， 19個頁面)

邏

邏輯符號‎ (1個分類， 5個頁面)
邏輯結果‎ (6個分類， 5個頁面)

「句法 (邏輯學)」分類的頁面

此分類共有 7 個頁面，以下顯示其中 7 個頁面。

原

原子句子

合

合式公式

命

命题

形

形式系統

推

推理规则

蘊

蕴涵

變

變數

取自 "https://zh.wikipedia.org/w/index.php?title=Category:句法_(逻辑学)&oldid=79622895"

分類：