邏輯語文法 邏輯語語法為基於邏輯語之語法作为一门人工語言逻辑语的语法相当严谨它有严密的词法构词法和句法以及言文一致的标点系统可以精确表达许多自然语言难以准确表达的意义此外它是一种可以通过计算机程序对文字的语法进行自动检查的语言在逻辑语大全一书最后一章用 YACC 和 EBNF 两种文法描述语言对其语法进行了定义