From ae1f71e59244b5b95e5677e08cf6a3233d362521 Mon Sep 17 00:00:00 2001
From: Argon <61109168+ARCJ137442@users.noreply.github.com>
Date: Wed, 30 Aug 2023 09:00:25 +0800
Subject: [PATCH] =?UTF-8?q?docs(README):=20=E6=9B=B4=E6=96=B0=20README.md?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
fix
---
README.md | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/README.md b/README.md
index 722bbae..4e8de6d 100644
--- a/README.md
+++ b/README.md
@@ -37,8 +37,8 @@ NARS的知识表示语言
- 一律使用特殊括弧`{词项...}`、`[词项...]`表示「外延集」「内涵集」
- 一律使用「圆括号+前缀表达式」`(连接符, 词项...)`形式表示「非外延集、内涵集的复合词项」
- 如`(&, B>, ^op)`
- - 对「否定」不使用前缀表达式
- - 对其它「二元复合词项」不使用中缀表达式
+ - 对「否定」不使用前缀表达式（如`-- B>`）
+ - 对其它「二元复合词项」不使用中缀表达式（如`(A*B)`）
- 陈述：
- 一律使用尖括号表示陈述，没有其他选项
- 如` B>`
@@ -133,7 +133,7 @@ Pkg.add(url="https://github.com/ARCJ137442/JuNarsese.jl")
- `w"word"`：构造「词语」`word`
- `i"ind_var"`：构造「独立变量」`$ind_var`
- `d"i_var"`：构造「非独变量」`#d_var`
- - `q"q_var"`：构造「非独变量」`#q_var`
+ - `q"q_var"`：构造「查询变量」`?q_var`
- `n"123"`：构造「间隔」`+123`
- `o"op"`：构造「操作符」`^op`
- 在构造复合词项/陈述时，亦可：