逻辑语

来自维基百科
蹦到: 导航搜寻

逻辑语是门人工语言,逻辑语个语法吓人严谨。渠有严密个词法、构词法跟句法以及言文一色个标点系统,好精确表达好些自然语言否好准确表达个意思。再吧,渠是种好通过计算机程序对文字个语法进行自动检查个语言,勒《逻辑语大全》本书落末一章用YACC跟EBNF两种文法描述语言对其语法进行了定义。

句法[编辑]

逻辑语个句法源自谓词逻辑,句子(bridi)由selbri(谓词逻辑中个“谓词”)跟sumti两个组成部分组成。