This paper also explores some rules of inference in classical logic and modal logic, and discusses the validity of these rules of inference in daily life.
与此相关，考察经典逻辑和模态逻辑中的某些推理规则，讨论这些推理规则在日常推理中的有效性问题，是十分必要的。
According to these relations, rules of inference control are generated and used to modify the data queried by generic users dynamically and most parsimonious ly so as to eliminate inference channels.
利用这些规则对数据库系统返回给普通用户的数据动态地做最小修改，防止推理通道的产生。
According to these relations, rules of inference control are generated and used to modify the data queried by generic users dynamically and most parsimonious ly so as to eliminate inference channels.
利用这些规则对数据库系统返回给普通用户的数据动态地做最小修改，防止推理通道的产生。
应用推荐