Skip to content

Commit

Permalink
docs(README): 更新 README.md
Browse files Browse the repository at this point in the history
fix
  • Loading branch information
ARCJ137442 committed Aug 30, 2023
1 parent 0ee6afa commit ae1f71e
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -37,8 +37,8 @@ NARS的知识表示语言
- 一律使用特殊括弧`{词项...}``[词项...]`表示「外延集」「内涵集」
- 一律使用「圆括号+前缀表达式」`(连接符, 词项...)`形式表示「非外延集、内涵集的复合词项」
-`(&, <A --> B>, ^op)`
- 对「否定」不使用前缀表达式
- 对其它「二元复合词项」不使用中缀表达式
- 对「否定」不使用前缀表达式(如`--<A --> B>`
- 对其它「二元复合词项」不使用中缀表达式(如`(A*B)`
- 陈述:
- 一律使用尖括号表示陈述,没有其他选项
-`<A --> B>`
Expand Down Expand Up @@ -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`
- 在构造复合词项/陈述时,亦可:
Expand Down

0 comments on commit ae1f71e

Please sign in to comment.