propositional
1. 12 The sign through which we express the thought I call the propositional sign. And the proposition is the propositional sign in its projective relation to the world.
12我将那些用来表达思想的符号称为命题符号。一个命题就是一个处在对世界的投影关系中的命题符号。
2. 5.472 The description of the most general propositional form is the description of the one and only general primitive sign in logic.
472描述最一般的命题形式,就是描述逻辑中那个唯一的一般的初始记号。
3. 53 The general propositional form is a variable.
53一般的命题形式是变项。
4. 54 In the general propositional form propositions occur in other propositions only as bases of truth-operations.
54在一般的命题形式中,命题只是作为真值运算基础而出现于别的命题之中。
5. Lukasiewicz propositional logic
Lukasiewicz命题逻辑
6. Lukasiewicz propositional logic system
Lukasiewicz命题逻辑系统
7. n-valued propositional logic
n值命题逻辑
8. Propositional satisfiability
SAT求解
9. [Propositional logic] This text will first introduce you one branch of symbolic logic,what is generally called sentential,or propositional,logic.
[命题逻辑] 本课首先将向你介绍符号逻辑的一个分支,即通常认为成为的句子逻辑或命题逻辑。
10. propositional letter
[计] 命题字母
11. propositional tree
[计] 命题树
12. A propositional content can have different focuses of sentence.
一个命题内容可以有不同的语句焦点。
13. Improved similarity degree and pseudo-distance in a class of n-valued propositional logic
一类n值命题逻辑系统中改进的相似度及伪距离
14. contextual propositional meaning
上下文命题意义, 语景命题意义
15. Independent Problem of Inference Rules of Medium Propositional System MP
中介命题系统MP推理规则的独立性问题
16. The Simplicity of the Inference Rules in the Medium Propositional System MP
中介命题系统MP推理规则的简化
17. China reforms practice not only the core that did not challenge system economics is propositional, instead confirmed the direct import of system economics.
中国改革实践不但没有挑战制度经济学的核心命题,反倒证实了制度经济学的指导意义。
18. With respect to verification of customization on feature model, this paper proposed a propositional logic-based verification method SUSI.
为了能够及时有效地检验特征定制结果,提出了以逻辑命题描述的SUSI验证方法。
19. two-value propositional logic
二值命题逻辑
20. The Conditional Truth Degree of Formulas in Classical Propositional Logic
二值逻辑中命题的条件真度理论
21. FORM THE REQUIREMENT DESCRIPTION OF PROPOSITIONAL LOGIC TO FORMAL SPECIFICATION OF STATE TRANSITION SYSTEM
从命题逻辑的需求描述到状态转移图的形式规格
22. Information is the speaker's cognitive evaluation for the hearer in the specific context, which is the contribution to the hearer's knowledge-store through the propositional meaning of the utterance.
信息就是说话人在特定语境中根据其对听话人的认知情况的评估,通过话语的命题意义对听话人的知识储备所做的贡献。
23. Propositional Proof on Rank of Matrix
关于矩阵秩命题的证明
24. On New Meaning Derived from the Legal principle and Extraordinary Argument out of the Bold and unconstrained Style--Features of Propositional Meaning from Su Shi's Essay
出新意于法度之中寄妙理于豪放之外--苏轼散文命意特色
25. propositional thinking
判断性思维
26. Generalizded Quasi-tautology of Interval-valued Fuzzy Propositional Logic System and Its Classification
区间值模糊命题逻辑的广义拟重言式及其分类
27. classical propositional logic
古典命题逻辑
28. Keywords sentence patterns;express function;speech acts;illocutionary verb;propositional content;illocutionary force;illocutionary force indicating device;discourse structure;
句类;表达功能;言语行为;言说动词;命题内容;语用力量;语力标记;话语结构;
29. propositional satisfiability problem
可满足性问题
30. Therefore, although these discourse markers carry no propositional content, they are important in portraying an utterer’s intentions and they have important pragmatic functions.
可见,虽然话语标记语不影响句子真值,但是能够反映说话者的用意,并具有多种语用功能。
31. The corresponding period, meeting of American wireless town begins to discuss " the industry is in crossroad " propositional.
同期,美国无线城市会议开始探讨“产业处于十字路口”的命题。
32. Application of Wu's Method in Propositional Calculus
吴方法在命题逻辑中的应用
33. propositional algebra
命题代数
34. The function-advancing scope of a propositional rhetoric is restrained at a suitable reference point selected between the maximal defamiliarizing and the maximal objectifying.
命题修辞的功能推进范围限于在最大陌生化和最大物化这两极之间选择一个合适的参照点。
35. propositional formula
命题公式
36. Generating Algorithm of Truth Value Table and Type's Mechanical Decision to a Propositional Formula
命题公式真值表的生成与公式类型的机械判定
37. propositional content
命题内容
38. A Tentative Study of the Components of Propositional Content and Its Directness
命题内容成分及其直接值的初步研究
39. propositional content rule
命题内容规则
40. propositional functor
命题函子
41. propositional function
命题函数
42. propositional analysis
命题分析
43. propositional dynamic logic
命题动态逻辑
44. propositional variable
命题变量 命题变元
45. Propositional variables are the basic building-blocks of propositional formulas, used in propositional logic and higher logics.
命题变量是命题公式的基本构件板块,用于命题逻辑和更高的逻辑中。
46. Propositional Satisfiability(SAT)
命题可满足性(SAT)
47. propositional attitude
命题姿态
48. propositional island constraint
命题孤岛制约,命题禁区制约
49. propositional learning
命题学习
50. propositional law
命题定律
51. propositional constant
命题常数
52. Propositional Attitudes
命题态度
53. verb of propositional attitude
命题态度动词
54. sentences of propositional attitude
命题态度句
55. propositional meaning
命题意义
56. Propositional attitude is put forward by Bertrand Russell, but is ignored by scholars in the field of analytical philosophy of language and western linguistics including Russell himself.
命题意向或命题态度由伯特兰·罗素提出,却为包括他在内的分析性语言哲学和西方语言学领域的学者所忽略。
57. propositional indicator
命题指示成分
58. propositional inference
命题推演
59. The proposition is an important mode in logical thinking. The opposition between propositional forms is one of the most important contents of the propositional theory.
命题是逻辑思维的重要形式,而命题形式之间的对当关系则是命题理论的一个重要内容。
60. propositional model
命题模型
61. propositional fuzzy logic system God
命题模糊逻辑系统God
62. fuzzy propositional logic system Luk
命题模糊逻辑系统Luk
63. Provable Degree of Formula on Theories in Propositional Fuzzy Logic Systems
命题模糊逻辑系统中公式的理论可证度
64. propositional calculus
命题演算
65. independence of the axiom of propositional calculus
命题演算公理的独立性
66. completeness of axiom systems of propositional calculus
命题演算公理系统的完备性
67. propositional calculus form system
命题演算形式系统
68. rule of constituting the equivalence of deduction in propositional calulus
命题演算推理的等值构成规则
69. As opposed to the predicate calculus, the propositional calculus employs simple, unanalyzed propositions rather than predicates as its atomic units.
命题演算是谓词演算的反面,运用尚未分机的简单命题而不是谓词来当成基本(原子)单元。
70. A FORMULATION OF PROPOSITIONAL CALCULUS
命题演算的一种表述
71. formal transformation of propositional calculus
命题演算的变形规则
72. basic replacement theorem of propositional calculus
命题演算的基本置换定理
73. rule of forming propositional calculus
命题演算的形成规则
74. propositional calculus system
命题演算系统
75. propositional theory
命题理论
76. calculus of propositional function
命题的函项演算
77. propositional form
命题的形式
78. Propositional Island Condition
命题禁区条件
79. propositional symbol
命题符号
80. propositional symlyol system
命题符号理论