逻辑语

来自 吴语维基百科

跳到: 导航, 搜寻


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

[编辑] 句法

逻辑语的句法源自谓词逻辑,句子(bridi)由selbri(谓词逻辑中的“谓词”)和sumti两种组成部分组成。以下是一个例句:

有趣的是逻辑语的标点系统。逻辑语的“标点符号”实际上就是一些特殊的cmevo,例如.i就用来表示句子之间的间隔,相当于句号。当只有一个句子的时候,是不需要句号的,因此上面的句子就没有。另外,上面的句子如果要添加.i的话,应该放在句子的前面而不是后面。

别样闲话版本