句法（逻辑）

什么是句法（逻辑）在逻辑学中，句法是与形式语言或形式系统有关的任何东西，不考虑对它们的任何解释或意义。句法关注的是用于构建或转换语言的符号和词语的...