[go: up one dir, main page]

跳转到内容

逻辑语

出自维基百科,自由个百科全书

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

句法

[编辑]

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