Category:句法 (逻辑学)

维基共享资源中相关的多媒体资源：句法 (逻辑学)

子分类

本分类有以下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”