- 重点词汇
- logicn.逻辑（学）;思维方式;（做某事的）道理;
- valuen.价值（观）;重要性，用途;划算程度;数值;
- propositionaladj.建议的，提议的;命题的;
- limitedadj.有限的;受…限制;
- fuzzyadj.模糊的;绒毛般的，毛茸茸的;糊涂的，含糊不清的;
- contradictionn.矛盾，不一致;
- disturbingadj.引起烦恼的;
- inprep. 在里面;在(某范围或空间内的)某一点;在(某物的形体或范围)中;在…内;在…中;进入
- theart.这个;指已提到或易领会到的人或事物;指独一无二的、正常的或不言而喻的人或事物;用以泛指;与形容词连用，指事物或统称的人;用于姓氏的复数形式前，指家庭或夫妇;（指特定用途的事物）足够，恰好;每，一;当前的，本，此;（重读，表示所指的为知名或重要的人或事物）
- 相关例句
本文针对以上功能，提出了基于命题逻辑的信息处理系统的新的需求描述方法。
互联网摘选
The first indicates that one utterance determines the other in propositional content;
命题内容连贯指一话语在决定另一话语的内容所起作用的连贯；
互联网摘选
Item Order of Propositional Representation in Understanding Chinese Initiative and Passive Sentences
汉语主动句、被动句的命题表征项目顺序特点
互联网摘选
Discussing about the Completeness Proof of Normal Modal Propositional Logic System
关于正规模态命题逻辑系统的完全性证明
互联网摘选
Automated Reasoning Method Based on Path Searching for Lattice Propositional Logic Formulae
基于路径搜索的格值命题逻辑自动推理方法
互联网摘选
Automatic Generation and Formal Output of Special Normal Forms of Propositional Formulae
命题公式主范式的自动生成与形式输出
互联网摘选
Propositional μ-Calculus Design and Implementation for Temporal Logic Systems
时序系统命题μ演算算法设计与实现
互联网摘选
Many-sorted propositional dynamic logic system based on parallel processing environment
基于并行处理环境的多类命题动态逻辑系统
互联网摘选
An Empirical Research on the Influencing Factor in Propositional Reasoning Ability
复合命题推理能力相关影响因素的实证研究
互联网摘选
Short consistency degrees of finite theories in propositional fuzzy logic system
命题模糊逻辑系统中有限理论的弱相容度
互联网摘选
- 今日热词
- 热门搜索
