邏輯語文法

邏輯語語法  爲基於邏輯語之語法 。 作爲一門人工語言 ， 邏輯語的語法相當嚴謹 。 它有嚴密的詞法 、 構詞法和句法以及言文一致的標點系統 ， 可以精確表達許多自然語言難以準確表達的意義 。 此外 ， 它是一種可以通過計算機程序對文字的語法進行自動檢查的語言 ， 在 《 邏輯語大全 》 一書最後一章用 YACC 和 EBNF 兩種文法描述語言對其語法進行了定義 。