qiaojialin commented on a change in pull request #825: [IOTDB-499] Add query
engine decument
URL: https://github.com/apache/incubator-iotdb/pull/825#discussion_r381263078
##########
File path: docs/Documentation-CHN/SystemDesign/2-QueryEngine/2-Planner.md
##########
@@ -25,6 +25,24 @@
将 SQL 解析出的语法树转化成逻辑计划，逻辑优化，物理计划。
+## 相关概念
+
+* 命题
+
+ 在数学逻辑中，为了表达现实世界中的事件时，需要将事件抽象为**命题**。在数据库的查询语句中，我们可以将选择条件抽象为命题，即
s<sub>1</sub> > 10
就是一个命题。命题总有一个“值”，该值要么是“真”，要么是“假”。命题可以由其他命题通过**联结词**进行连接构成。在查询语句中，这样的连接词包括否定(¬)，合取(∧)，析取(∨)。不包含任何联结词的命题为**原子命题**，至少包含一个联结词的命题称作**复合命题**。
Review comment:
```suggestion
在数学逻辑中，为了表达现实世界中的事件时，需要将事件抽象为**命题**。在数据库的查询语句中，我们可以将选择条件抽象为命题，即
s<sub>1</sub> > 10
就是一个命题。命题总有一个“值”，该值要么是“真”，要么是“假”。命题可以由其他命题通过**联结词**进行连接构成。在查询语句中，这样的连接词包括否定(¬)，合取(∧)，析取(∨)。不包含任何联结词的命题为**原子命题**，至少包含一个连结词的命题称作**复合命题**。
```
----------------------------------------------------------------
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
For queries about this service, please contact Infrastructure at:
[email protected]
With regards,
Apache Git Services
